Bilattices and the theory of truth
From MaRDI portal
Recommendations
Cites work
- 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?)
- 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
- 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
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
- Deflationary truth and the ontology of expressions
- Automatic theorem proving in paraconsistent logics: Theory and implementation
- Some useful 16-valued logics: How a computer network should think
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Construction of Truth Predicates: Approximation Versus Revision
- The anatytic conception of truth and the foundations of arithmetic
- 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
- scientific article; zbMATH DE number 58945 (Why is no real title available?)
- 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
- Bilattices and hyperidentities
- Bilattice tableau calculi with rough set semantics
- On logics and semantics for general logic programs
- The strict/tolerant idea and bilattices
- Regular bilattices
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- scientific article; zbMATH DE number 1517022 (Why is no real title available?)
- Valuations: bi, tri, and tetra
- The geometry of negation
- scientific article; zbMATH DE number 5994600 (Why is no real title available?)
- A new conditional for naive truth theory
- scientific article; zbMATH DE number 1953895 (Why is no real title available?)
- A note on the structure of bilattices
- Bi-facial truth: a case for generalized truth values
- Bilattice logics and demi-negation
- A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
- Bonsai: cutting models down to size
- 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)
