Bilattice Logics and Demi-Negation

DOI10.1007/978-3-030-31136-0_14zbMath1469.03065OpenAlexW2996999352MaRDI QIDQ3305617

Francesco Paoli

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_14

zbMATH Keywords

abstract algebraic logicmany-valued logicbilatticeBelnap-Dunn logicassertion/denialacceptance/rejectiondemi-negationnegation by iteration

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50) Abstract algebraic logic (03G27)

Related Items (4)

Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Double negation as minimal negation ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ A Note on Ciuciura’s mbC1

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bilattices with implications
• Classical negation and expansions of Belnap-Dunn logic
• Generalizing functional completeness in Belnap-Dunn logic
• Varieties of interlaced bilattices
• Truth and falsehood. An inquiry into generalized logical values
• Intuitionistic logic with strong negation
• The value of the four values
• The logic of information structures
• Quasivarieties of logic, regularity conditions and parameterized algebraization
• An extended first-order Belnap-Dunn logic with classical negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Reasoning with logical bilattices
• Expanding quasi-MV algebras by a quantum operator
• The logic of distributive bilattices
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Algebraizable logics
• Bilattices and the semantics of logic programming
• A Note on the Implicational Class Generated by a Class of Structures
• Negation by iteration
• Rejection
• The Trilattice of Constructive Truth Values
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• The Logical Burdens of Proof. Assertion and Hypothesis
• A general framework for product representations: bilattices and beyond
• The structure of interlaced bilattices
• Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates

This page was built for publication: Bilattice Logics and Demi-Negation