Rivals to Belnap-Dunn logic on interlaced trilattices

DOI10.1007/s11225-016-9695-7zbMath1417.03177OpenAlexW2560764888MaRDI QIDQ1685566

Thomas Macaulay Ferguson

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9695-7

zbMATH Keywords

first degree entailmentbilatticesanalytic containmentmultilatticestrilatticescut-down operations

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (3)

Pure Variable Inclusion Logics ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Exactly true and non-falsity logics meeting infectious ones

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Angellic content
• Some useful 16-valued logics: How a computer network should think
• The completeness of S
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Logics of nonsense and Parry systems
• Representation of interlaced trilattices
• Faulty Belnap computers and subsystems of FDE
• Paraconsistency and analyticity
• Truth, Falsehood, Information and Beyond: The American Plan Generalized
• The Trilattice of Constructive Truth Values
• A computational interpretation of conceptivism

This page was built for publication: Rivals to Belnap-Dunn logic on interlaced trilattices