The shortest axioms of the implicational calculus

DOI10.1305/NDJFL/1093893523zbMATH Open0165.01001OpenAlexW2084199183WikidataQ114598222 ScholiaQ114598222MaRDI QIDQ2529623FDOQ2529623

Authors: R. Tursman 

Publication date: 1969

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

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

zbMATH Keywords

general logic

Cited In (2)

• On the uniqueness of the shortest single axiom or the implicational calculus of propositions
• Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems

This page was built for publication: The shortest axioms of the implicational calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2529623)