scientific article; zbMATH DE number 590999
From MaRDI portal
Publication:4296301
zbMath0804.03016MaRDI QIDQ4296301
Publication date: 22 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
tableauBelnap's four-valued logicKleene's strong logicdistributive bilatticesguard connectiveKleene's weak logicLisp logic
Related Items (50)
Spotlight abstraction in model checking real-time task schedulability ⋮ Natural dualities through product representations: bilattices and beyond ⋮ Generalized correspondence analysis for three-valued logics ⋮ A Gentzen calculus for nothing but the truth ⋮ An approach to uncertainty via sets of truth values ⋮ A generalization of ACP using Belnap's logic ⋮ Remarks on the Gupta-Belnap fixed-point property fork-valued clones ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ First-degree entailment and its relatives ⋮ Annotated revision specification programs ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ Unnamed Item ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Varieties of interlaced bilattices ⋮ Ideal paraconsistent logics ⋮ Priestley duality for bilattices ⋮ MODELS OF POSITIVE TRUTH ⋮ Representation of interlaced trilattices ⋮ Bipolarity in bilattice logics ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package ⋮ Belief functions on distributive lattices ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Variations on the Collapsing Lemma ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Belnap's logic and conditional composition ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Processing Information from a Set of Sources ⋮ Natural deduction for three-valued regular logics ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ Galois connections for bilattices ⋮ Preference Modeling by Rectangular Bilattices ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Identity and aboutness ⋮ The value of the four values ⋮ Sound and Complete Abstract Graph Transformation ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Elements of intuitionistic fuzzy logic. I ⋮ Bounded Model Checking for Partial Kripke Structures ⋮ A Generalization of ACP Using Belnap's Logic ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Fixpoint semantics for logic programming a survey ⋮ A non-deterministic view on non-classical negations ⋮ Some useful 16-valued logics: How a computer network should think
This page was built for publication:
