New axiomatizations of S3 and S4

DOI10.2307/2266554zbMath0052.01102OpenAlexW2139015164MaRDI QIDQ5821425

Leo Simons

Publication date: 1953

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Ein erweiterter Klassenkalkül
• Algebras and their subalgebras
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: New axiomatizations of S3 and S4