Postulates for the substitutive algebra of the 2-place functors in the 2- valued calculus of propositions

DOI10.1305/NDJFL/1093957575zbMath0281.02013OpenAlexW2015829519MaRDI QIDQ1843548

Martin H. Schultz

Publication date: 1963

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093957575

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Algebras of multiplace functions

This page was built for publication: Postulates for the substitutive algebra of the 2-place functors in the 2- valued calculus of propositions