欧几里德关系的S5---刘易斯逻辑之十一

欧几里德关系的S5—刘易斯逻辑之十一 刘易斯严格蕴涵系统的结构是由S1-S5五个系统构成:，前述数篇已经讨论过S1-S4，这一篇轮到刘易斯结构中的最后一个构件：S5。 依据C.E.Hughes的说法，模态逻辑系统的命名传统来自C.I.刘易斯，他的S1-S5成为给模态系统命名的一个样板。刘易斯这五个系统，不仅是此后模态命名的标准，这五个系统的出现，还引发逻辑学家对于模态的持续关注。从模态证明延展到模

>>阅读原文<<