Bilattices and the theory of truth
From MaRDI portal
DOI10.1007/BF00274066zbMATH Open0678.03028MaRDI QIDQ1123891FDOQ1123891
Authors: Melvin Fitting 
Publication date: 1989
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Recommendations
Cites Work
- Outline of a Theory of Truth
- Title not available (Why is that?)
- Four valued semantics and the Liar
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Paradox, truth and logic. I. Paradox and truth
- Intuitive semantics for first-degree entailments and `coupled trees'
- Notes on the mathematical aspects of Kripke's theory of truth
- Bilattices and the semantics of logic programming
- Title not available (Why is that?)
- A kripke-kleene semantics for logic programs*
- Title not available (Why is that?)
Cited In (44)
- Some lattice models of bilinear logic
- Bilattice logic of epistemic actions and knowledge
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- A family of strict/tolerant logics
- Automatic theorem proving in paraconsistent logics: Theory and implementation
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Deflationary truth and the ontology of expressions
- Construction of Truth Predicates: Approximation Versus Revision
- The anatytic conception of truth and the foundations of arithmetic
- Some useful 16-valued logics: How a computer network should think
- A theory of truth that prefers falsehood
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- On truth-gaps, bipolar belief and the assertability of vague propositions
- Title not available (Why is that?)
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- An abstract algebraic logic approach to tetravalent modal logics
- Identity and aboutness
- Bipolarity in bilattice logics
- Combining explicit negation and negation by failure via Belnap's logic
- Filter theory of bilattices in the semantics of logic programming
- Galois connections for bilattices
- The logic of generalized truth values and the logic of bilattices
- Bilattice tableau calculi with rough set semantics
- On logics and semantics for general logic programs
- Bilattices and hyperidentities
- The strict/tolerant idea and bilattices
- Regular bilattices
- Title not available (Why is that?)
- The geometry of negation
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Valuations: bi, tri, and tetra
- Title not available (Why is that?)
- Title not available (Why is that?)
- A note on the structure of bilattices
- A new conditional for naive truth theory
- Bilattice logics and demi-negation
- Bi-facial truth: a case for generalized truth values
- Bonsai: cutting models down to size
- A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
- A theory of truthmaker content. I: Conjunction, disjunction and negation
- Weakly idempotent lattices and bilattices, non-idempotent Plonka functions.
- Expanding Belnap: dualities for a new class of default bilattices
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
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)
