The pure calculus of entailment

DOI10.2307/2963676MaRDI QIDQ3849883zbMATH OpenOpenAlexFDO

Authors 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

Cites work

• scientific article; zbMATH DE number 5997426 (Why is no real title available?)
• scientific article; zbMATH DE number 3132752 (Why is no real title available?)
• An essay in modal logic
• Begründung einer strengen Implikation
• Independent Axiom Schemata for the Pure Theory of Entailment
• Modalities in Ackermann's “rigorous implication”
• Strict implication, deducibility and the deduction theorem
• The deduction theorem in a functional calculus of first order based on strict implication

Cited in

(30)

• On recent applications of paraconsistent logic: an exploratory literature review
• A relevant logic of questions
• Logical consequence and the paradoxes
• New axiomatics for relevant logics. I
• Conservative extension in relevant implication
• A second-order relevance logic with modality
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• Classical relevant logics. I
• The semantics of entailment. II
• The semantics of entailment. III
• On interpretation and separation theorems for the logical systems E and R
• Shortest axiomatizations of implicational S4 and S5
• A sieve for entailments
• Sugihara algebras and Sugihara monoids: Multisorted dualities
• 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
• A note on contraction-free logic for validity
• The existence of matrices strongly adequate for E, R and their fragments
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• The implicational fragment of $R$-mingle
• The one-variable fragment of \(\mathrm T_\to\)
• Cut-elimination theorem for relevant logics
• Proof search and co-NP completeness for many-valued logics
• Non-Boolean classical relevant logics. I
• scientific article; zbMATH DE number 3280031 (Why is no real title available?)
• A survey of deduction theorems for the propositional calculi
• R and relevance principle revisited
• E-theories
• Farewell to suppression-freedom
• A review of some problems of the logic of questions

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

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