Faulty Belnap computers and subsystems of FDE

DOI10.1093/logcom/exu048zbMath1403.03037OpenAlexW2033077109MaRDI QIDQ2957959

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

propositional logicanalytic containmentfirst-degree entailmentanalytic implication

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)

Related Items (14)

Angellic content ⋮ Correia semantics revisited ⋮ Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ A simple sequent calculus for Angell's logic of analytic containment ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC ⋮ Logics of synonymy ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Truthmakers and normative conflicts ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Exactly true and non-falsity logics meeting infectious ones

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