Bilattices and the theory of truth

DOI10.1007/BF00274066zbMath0678.03028MaRDI QIDQ1123891

Melvin Fitting

Publication date: 1989

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

fixed pointstruth-value gapsbilatticepartial truth predicatesemantics of First Degree Entailment

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10)

Related Items

Construction of Truth Predicates: Approximation Versus Revision, A family of strict/tolerant logics, Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond, Bonsai: Cutting Models Down to Size, A theory of truth that prefers falsehood, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, A new conditional for naive truth theory, Weakly idempotent lattices and bilattices, non-idempotent Plonka functions., A theory of truthmaker content. I: Conjunction, disjunction and negation, Four-Valued Logics BD and DM4: Expansions, Unnamed Item, Combining explicit negation and negation by failure via Belnap's logic, A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices, Bilattice logic of epistemic actions and knowledge, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Valuations: bi, tri, and tetra, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, The anatytic conception of truth and the foundations of arithmetic, Galois connections for bilattices, Identity and aboutness, The Geometry of Negation, A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\), The Strict/Tolerant Idea and Bilattices, An abstract algebraic logic approach to tetravalent modal logics, Some useful 16-valued logics: How a computer network should think

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Paradox, truth and logic. I. Paradox and truth
• Four valued semantics and the Liar
• Notes on the mathematical aspects of Kripke's theory of truth
• Intuitive semantics for first-degree entailments and `coupled trees'
• A lattice-theoretical fixpoint theorem and its applications
• A kripke-kleene semantics for logic programs*
• Bilattices and the semantics of logic programming
• Outline of a Theory of Truth
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi