×

zbMATH — the first resource for mathematics

A solution of the decision problem for the Lewis systems S3 and S4, with an application to topology. (English) Zbl 0063.03863
Not reviewed

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Note on a property of matrices for Lewis and Langford’s calculi of propositions 5 pp 150– (1940) · Zbl 0024.09703
[2] Fundamenta mathematicae 31 pp 103– (1938)
[3] DOI: 10.2307/20023279
[4] DOI: 10.1090/S0002-9947-1904-1500675-4
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.