×

On the semantic non-completeness of certain Lewis calculi. (English) Zbl 0045.15001


MSC:

03-XX Mathematical logic and foundations

Keywords:

logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Some theorems about the sentential calculi of Lewis and Heyting 13 pp 12– (1948) · Zbl 0037.29409
[2] Mind 39 (1930)
[3] A note concerning the paradoxes of strict implication and Lewis’s system S1 13 (1948) · Zbl 0036.00706
[4] A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology 6 pp 126– (1941) · JFM 67.0974.01
[5] Modalities in the ”Survey” system of strict implication 4 pp 141– (1939) · Zbl 0023.09902
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.