scientific article
From MaRDI portal
Publication:3604278
zbMath1157.03308MaRDI QIDQ3604278
Publication date: 24 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Structure theory of lattices (06B05)
Related Items
A family of strict/tolerant logics ⋮ Natural dualities through product representations: bilattices and beyond ⋮ An analysis of the equational properties of the well-founded fixed point ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A computational interpretation of conceptivism ⋮ 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 ⋮ On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) ⋮ Reconciling communication delays and negation ⋮ Expanding Belnap: dualities for a new class of default bilattices ⋮ Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) ⋮ Completeness and cut-elimination theorems for trilattice logics ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Semantical analysis of weak Kleene logics ⋮ Bi-facial truth: a case for generalized truth values ⋮ Galois connections for bilattices ⋮ Reasoning within fuzzy OWL 2 EL revisited ⋮ Hyper-contradictions, generalized truth values and logics of truth and falsehood ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Editorial introduction. Truth values. I ⋮ How true it is = who says it's true ⋮ Identity and aboutness ⋮ A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) ⋮ A paraconsistent approach to actions in informationally complex environments ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ The Strict/Tolerant Idea and Bilattices ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Some useful 16-valued logics: How a computer network should think ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement ⋮ A new kind of implication to reason with unknown information
