Independence of the primitive symbols of Lewis's calculi of propositions

DOI10.2307/2267978zbMath0063.00038OpenAlexW2011588190MaRDI QIDQ5841623

M. J. Alban

Publication date: 1943

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

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

Related Items (3)

S7 ⋮ Observations on the trivial world ⋮ Nontabularity of the logic S4 with respect to functional completeness

This page was built for publication: Independence of the primitive symbols of Lewis's calculi of propositions