Faulty Belnap computers and subsystems of FDE

DOI10.1093/LOGCOM/EXU048MaRDI QIDQ2957959zbMATH OpenOpenAlexFDO

Authors Thomas Macaulay Ferguson

Publication date 31 January 2017

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exu048

zbMATH Keywords

analytic containmentanalytic implicationfirst-degree entailmentpropositional logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• A natural deduction system for first degree entailment
• First-degree entailment and structural reasoning
• 40 years of FDE: an introductory overview
• Semantics for analytic containment

Cited in

(18)

• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• A simple sequent calculus for Angell's logic of analytic containment
• Rivals to Belnap-Dunn logic on interlaced trilattices
• Containment logics: algebraic completeness and axiomatization
• Tableaux and restricted quantification for systems related to weak Kleene logic
• Logics of synonymy
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• Truthmakers and normative conflicts
• Angellic content
• Correia semantics revisited
• Defining LFIs and LFUs in extensions of infectious logics
• Exactly true and non-falsity logics meeting infectious ones
• Sextus Empiricus' fourth conditional and containment logic
• An epistemic interpretation of paraconsistent weak Kleene logic
• Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
• Modal weak Kleene logics through variables inclusion
• A topic-theoretic perspective on variable-sharing (from the black sheep of the family)
• Exact truth and double-rail logics

This page was built for publication: Faulty Belnap computers and subsystems of FDE

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