Faulty Belnap computers and subsystems of FDE
From MaRDI portal
Publication:2957959
DOI10.1093/logcom/exu048zbMath1403.03037OpenAlexW2033077109MaRDI QIDQ2957959
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
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