The pure calculus of entailment

DOI10.2307/2963676zbMATH Open0113.00403OpenAlexW2083488768MaRDI QIDQ3849883FDOQ3849883

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

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

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
• Title not available (Why is that?)
• Non-Boolean classical relevant logics. I
• A survey of deduction theorems for the propositional calculi
• E-theories
• Farewell to suppression-freedom
• \(\mathbf R\) and relevance principle revisited
• 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)