歐幾里德關係的S5---劉易斯邏輯之十一

歐幾里德關係的S5—劉易斯邏輯之十一 劉易斯嚴格蘊涵系統的結構是由S1-S5五個系統構成:，前述數篇已經討論過S1-S4，這一篇輪到劉易斯結構中的最後一個構件：S5。 依據C.E.Hughes的說法，模態邏輯系統的命名傳統來自C.I.劉易斯，他的S1-S5成爲給模態系統命名的一個樣板。劉易斯這五個系統，不僅是此後模態命名的標準，這五個系統的出現，還引發邏輯學家對於模態的持續關注。從模態證明延展到模

>>阅读原文<<