From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth

DOI10.1007/s11225-023-10062-5MaRDI QIDQ6562366

Marcelo E. Coniglio, Abilio Rodrigues

Publication date: 26 June 2024

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

zbMATH Keywords

paraconsistencycrystal latticeparacompletenesslogics of formal inconsistencylogics of evidence and truthtwist structuresswap structuresinvolutive Stone algebrasNmatrices

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-deterministic semantics for logics with a consistency operator
• Depth relevance of some paraconsistent logics
• The lattice structure of some Lukasiewicz algebras
• Alternative semantics for quantified first degree relevant logic
• 40 years of FDE: an introductory overview
• Intuitive semantics for first-degree entailments and `coupled trees'
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Valuation semantics for first-order logics of evidence and truth
• First-order logics of evidence and truth with constant and variable domains
• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• Relation algebras of Sugihara, Belnap, Meyer, and Church
• Paraconsistent logic: consistency, contradiction and negation
• On the theory of inconsistent formal systems
• Grundzüge der Theorie der Verbände
• Non-deterministic Multiple-valued Structures
• Quasi-truth-functional systems of propositional logic
• How a Computer Should Think
• Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
• K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
• On the logic that preserves degrees of truth associated to involutive Stone algebras
• Non-deterministic algebraization of logics by swap structures1
• Algebraizable logics
• Modal semantics without possible worlds
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Logics of Formal Inconsistency
• On the Philosophy and Mathematics of the Logics of Formal Inconsistency
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• Cut-free sequent-style systems for a logic associated to involutive Stone algebras
• On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth
• On logics of perfect paradefinite algebras

This page was built for publication: From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth