scientific article; zbMATH DE number 5510996

MaRDI QIDQ3604278zbMATH OpenFDO

Authors Melvin Fitting

Publication date 24 February 2009

zbMATH Keywords

bilatticesfixpoint constructionparadoxes of self-referential languagestruth-value assignments

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure theory of lattices (06B05)

Recommendations

• scientific article; zbMATH DE number 7669409
• Bilattices with implications
• Regular bilattices
• A note on the structure of bilattices
• Interlaced bilattices
• scientific article; zbMATH DE number 19702
• There are reasonably nice logics
• Bilimits are bifinal objects

Cited in

(44)

• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Editorial introduction. Truth values. I
• How true it is = who says it's true
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• Bilattices and the theory of truth
• 40 years of FDE: an introductory overview
• Four-valued paradefinite logics
• Rivals to Belnap-Dunn logic on interlaced trilattices
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• Reasoning within fuzzy OWL 2 EL revisited
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• Bilattice logic of epistemic actions and knowledge
• Bi-facial truth: a case for generalized truth values
• Galois connections for bilattices
• Identity and aboutness
• A new kind of implication to reason with unknown information
• Expanding Belnap: dualities for a new class of default bilattices
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• A paraconsistent approach to actions in informationally complex environments
• A non-inferentialist, anti-realistic conception of logical truth and falsity
• The logic of generalized truth values and the logic of bilattices
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Correspondence analysis and automated proof-searching for first degree entailment
• Natural dualities through product representations: bilattices and beyond
• Truth, falsehood, information and beyond: the American plan generalized
• An invitation to new essays on Belnap-Dunn logic
• An analysis of the equational properties of the well-founded fixed point
• A computational interpretation of conceptivism
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• The strict/tolerant idea and bilattices
• An epistemic interpretation of paraconsistent weak Kleene logic
• Semantical analysis of weak Kleene logics
• On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
• Reconciling communication delays and negation
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Completeness and cut-elimination theorems for trilattice logics
• Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
• Editorial introduction
• De Morgan-Płonka sums
• Modal weak Kleene logics through variables inclusion
• Can't you answer while you wait?
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3604278)