Bilattices and the theory of truth
A structure \(<B,\wedge,\vee,+,\times >\) is a bilattice if i) \(<B,\wedge,\vee >\) and \(<B,+,\times >\) are both lattices; and ii) the meet and join operations of each lattice are monotone with respect to the order relation of the other lattice. Bilattices were introduced in computer science by \textit{M. L. Ginsberg} [Multi-valued logics, Proc. AAAI-86, Morgan Kaufmann, 243-247 (1986)]. This paper shows that bilattices are natural generalisations of structures to be found in the semantics of First Degree Entailment (due to Dunn and Belnap), in the semantics of languages with a partial truth predicate (due to Woodruff, Kripke et al.) and elsewhere. This allows many known features of these semantics to be seen as special cases of more general theorems, and also delivers some novel results, e.g., concerning the relationships between various fixed points.
- A kripke-kleene semantics for logic programs*
- A lattice-theoretical fixpoint theorem and its applications
- Bilattices and the semantics of logic programming
- Four valued semantics and the Liar
- scientific article; zbMATH DE number 4057054 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Notes on the mathematical aspects of Kripke's theory of truth
- Outline of a Theory of Truth
- Paradox, truth and logic. I. Paradox and truth
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- A theory of truth that prefers falsehood
- A theory of truthmaker content. I: Conjunction, disjunction and negation
- Some lattice models of bilinear logic
- A new conditional for naive truth theory
- Bilattice logic of epistemic actions and knowledge
- Bi-facial truth: a case for generalized truth values
- Galois connections for bilattices
- Identity and aboutness
- Expanding Belnap: dualities for a new class of default bilattices
- Valuations: bi, tri, and tetra
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- The logic of generalized truth values and the logic of bilattices
- Bilattices and hyperidentities
- Filter theory of bilattices in the semantics of logic programming
- scientific article; zbMATH DE number 5994600 (Why is no real title available?)
- Bilattice logics and demi-negation
- Bonsai: cutting models down to size
- Bipolarity in bilattice logics
- On truth-gaps, bipolar belief and the assertability of vague propositions
- The geometry of negation
- Bilattices and Modal Operators
- scientific article; zbMATH DE number 19702 (Why is no real title available?)
- scientific article; zbMATH DE number 58945 (Why is no real title available?)
- Construction of Truth Predicates: Approximation Versus Revision
- scientific article; zbMATH DE number 1953895 (Why is no real title available?)
- Regular bilattices
- An abstract algebraic logic approach to tetravalent modal logics
- scientific article; zbMATH DE number 1517022 (Why is no real title available?)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- A note on the structure of bilattices
- The anatytic conception of truth and the foundations of arithmetic
- The strict/tolerant idea and bilattices
- A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
- Deflationary truth and the ontology of expressions
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Automatic theorem proving in paraconsistent logics: Theory and implementation
- On logics and semantics for general logic programs
- Bilattice tableau calculi with rough set semantics
- Combining explicit negation and negation by failure via Belnap's logic
- Belief structures in the realm of belief contraction
- Tailoring disjoint belief structures to the AGM framework
- Modal, fuzzy,\dots, vanilla fixpoint theories of truth: a uniform approach
- Some useful 16-valued logics: How a computer network should think
- A family of strict/tolerant logics
- Weakly idempotent lattices and bilattices, non-idempotent Plonka functions.
This page was built for publication: Bilattices and the theory of truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1123891)
