×

Some theorems about the sequential calculi of Lewis and Heyting. (English) Zbl 0037.29409


PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Ergebnisseeines mathematischen Kolloquiums 4 pp 40– (1933)
[2] Ergebnisseeines mathematischen Kolloquiums 4 pp 39– (1933)
[3] Sitzungsberichte der Preussischen Akademie der Wissenschaften pp 42– (1930)
[4] Note on a property of matrices for Lewis and Langford’s calculi of propositions 5 pp 150– (1940) · Zbl 0024.09703
[5] Wiadomości matematyczne 46 pp 45– (1938)
[6] Fundamenta mathematicae 31 pp 103– (1938)
[7] Symbolic logic (1932)
[8] DOI: 10.2307/1969038 · Zbl 0060.06207 · doi:10.2307/1969038
[9] On the syntactical construction of systems of modal logic 10 pp 83– (1945)
[10] DOI: 10.2307/1969080 · Zbl 0060.06206 · doi:10.2307/1969080
[11] A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology 6 pp 117– (1941) · JFM 67.0974.01
[12] Proof of the independence of the primitive symbols of Heyting’s calculus of propositions 4 pp 155– (1939) · JFM 65.1105.02
[13] DOI: 10.1090/S0002-9904-1934-05881-6 · Zbl 0009.33705 · doi:10.1090/S0002-9904-1934-05881-6
[14] Modalities in the Survey system of strict implication 4 pp 137– (1939)
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.