×

zbMATH — the first resource for mathematics

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

PDF BibTeX XML Cite
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
[9] On the syntactical construction of systems of modal logic 10 pp 83– (1945)
[10] DOI: 10.2307/1969080 · Zbl 0060.06206
[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
[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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.