Independent Axiom Schemata for the Pure Theory of Entailment

DOI10.1002/malq.19600060106zbMath0095.00702OpenAlexW2077798500WikidataQ114696451 ScholiaQ114696451MaRDI QIDQ3272465

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

Related Items (4)

First degree entailments ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ A survey of deduction theorems for the propositional calculi ⋮ The pure calculus of entailment

This page was built for publication: Independent Axiom Schemata for the Pure Theory of Entailment