Kleene's Logic, Generalized
From MaRDI portal
Publication:3988058
DOI10.1093/logcom/1.6.797zbMath0744.03025OpenAlexW2022427243MaRDI QIDQ3988058
Publication date: 28 June 1992
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c2029f5841de442d1acf39cfa1c4eb6674effd80
Logical aspects of lattices and related structures (03G10) Logic programming (68N17) Many-valued logic (03B50)
Related Items
A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION ⋮ Neutrosophic logics: Prospects and problems ⋮ Assertion, rejection, and semantic universals ⋮ An approach to uncertainty via sets of truth values ⋮ A theory of truth that prefers falsehood ⋮ Note on a six-valued extension of three-valued logic ⋮ Truth versus information in logic programming ⋮ Foreword: Three-valued logics and their applications ⋮ Attribute exploration with multiple contradicting partial experts ⋮ The logic of lexical connectives ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ Unnamed Item ⋮ A theory of truthmaker content. I: Conjunction, disjunction and negation ⋮ A note on the structure of bilattices ⋮ Double negation as minimal negation ⋮ Contradictory information: too much of a good thing ⋮ Representation of interlaced trilattices ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Competent predicate abstraction in model checking ⋮ Algebras of intervals and a logic of conditional assertions ⋮ Distance-based paraconsistent logics ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ Galois connections for bilattices ⋮ Preference Modeling by Rectangular Bilattices ⋮ Missing values and dragonfly operations in fuzzy relational compositions ⋮ Identity and aboutness ⋮ Propositional and predicate logics of incomplete information ⋮ The value of the four values ⋮ Reasoning with different levels of uncertainty ⋮ Properties of General Semantic Operators Determined by Logic-Based Systems ⋮ Inconsistency without contradiction ⋮ The Geometry of Negation ⋮ Any-world assumptions in logic programming ⋮ Bilattice CADIAG-II: Theory and Experimental Results ⋮ Formal concept analysis perspectives on three-way conflict analysis ⋮ Fixpoint semantics for logic programming a survey ⋮ A non-deterministic view on non-classical negations ⋮ Bilattices for deductions in multi-valued logic ⋮ Some useful 16-valued logics: How a computer network should think
This page was built for publication: Kleene's Logic, Generalized
