Independent Axiom Schemata for the Pure Theory of Entailment

DOI10.1002/MALQ.19600060106zbMATH Open0095.00702OpenAlexW2077798500WikidataQ114696451 ScholiaQ114696451MaRDI QIDQ3272465FDOQ3272465

Authors: A. R. Anderson, John R. Wallace, Nuel D. jun. Belnap 

Publication date: 1960

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19600060106

zbMATH Keywords

philosophy and foundations of mathematics

Cited In (4)

• The pure calculus of entailment
• A survey of deduction theorems for the propositional calculi
• First degree entailments
• 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: Independent Axiom Schemata for the Pure Theory of Entailment

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