Results concerning the decision problem of Lewis's calculi S3 and S6

DOI10.2307/2269232zbMath0036.00707OpenAlexW2080320715MaRDI QIDQ5793831

Sören Halldén

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269232

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (5)

Some structure results for propositional calculi ⋮ Meeting of the Association for Symbolic Logic, St. Louis 1972 ⋮ Post completeness in modal logic ⋮ S7 ⋮ Observations on the trivial world

Cites Work

• Ein erweiterter Klassenkalkül
• Modalities in the Survey system of strict implication
• Some theorems about the sentential calculi of Lewis and Heyting
• On the number of complete extensions of the Lewis systems of sentential calculus

This page was built for publication: Results concerning the decision problem of Lewis's calculi S3 and S6