The pure calculus of entailment

DOI10.2307/2963676zbMath0113.00403OpenAlexW2083488768MaRDI QIDQ3849883

A. R. Anderson, Nuel D. jun. Belnap

Publication date: 1963

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

Full work available at URL: https://semanticscholar.org/paper/643bff5f54b5eed5001f22b36a61b05cfd25bb12

zbMATH Keywords

mathematical logic

Related Items (30)

A relevant logic of questions ⋮ \(\mathbf R\) and relevance principle revisited ⋮ The implicational fragment of $R$-mingle ⋮ A sieve for entailments ⋮ New axiomatics for relevant logics. I ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Farewell to suppression-freedom ⋮ Non-Boolean classical relevant logics. I ⋮ A note on contraction-free logic for validity ⋮ Unnamed Item ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Logical consequence and the paradoxes ⋮ The one-variable fragment of \(\mathrm T_\to\) ⋮ 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 ⋮ Conservative extension in relevant implication ⋮ A review of some problems of the logic of questions ⋮ Classical relevant logics. I ⋮ The semantics of entailment. II ⋮ The semantics of entailment. III ⋮ Cut-elimination theorem for relevant logics ⋮ A second-order relevance logic with modality ⋮ The existence of matrices strongly adequate for E, R and their fragments ⋮ E-theories ⋮ On interpretation and separation theorems for the logical systems E and R ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ R-Mingle is Nice, and so is Arnon Avron

Cites Work

• Unnamed Item
• Unnamed Item
• An essay in modal logic
• Begründung einer strengen Implikation
• Modalities in Ackermann's “rigorous implication”
• Independent Axiom Schemata for the Pure Theory of Entailment
• Strict implication, deducibility and the deduction theorem
• The deduction theorem in a functional calculus of first order based on strict implication

This page was built for publication: The pure calculus of entailment