Kleene's Logic, Generalized
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 6316277
- Kleene algebra and modal logic
- On all strong Kleene generalizations of classical logic
- scientific article; zbMATH DE number 874285
- Generalized Kripke semantics for Nelson's logic
- scientific article; zbMATH DE number 856945
- scientific article; zbMATH DE number 4130339
- scientific article; zbMATH DE number 753781
- General logic-systems and finite consequence operators
- Generalized Quantifiers and Logical Reducibilities
Cited in
(58)- The value of the four values
- Inconsistency without contradiction
- An implementation of Kripke-Kleene semantics
- A theory of truth that prefers falsehood
- Kleene's Logic with equality
- Fixpoint semantics for logic programming a survey
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- A theory of truthmaker content. I: Conjunction, disjunction and negation
- An approach to uncertainty via sets of truth values
- Contradictory information: too much of a good thing
- Galois connections for bilattices
- Identity and aboutness
- Propositional and predicate logics of incomplete information
- Formal concept analysis perspectives on three-way conflict analysis
- Assertion, rejection, and semantic universals
- Distance-based paraconsistent logics
- Missing values and dragonfly operations in fuzzy relational compositions
- Bilattices for deductions in multi-valued logic
- Representation of interlaced trilattices
- Any-world assumptions in logic programming
- A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
- Generalized DEL-Sequents
- Truth versus information in logic programming
- On all strong Kleene generalizations of classical logic
- scientific article; zbMATH DE number 2185774 (Why is no real title available?)
- Implicative extensions of regular Kleene logics
- A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION
- Functional interdependence of regular Kleene logics
- Three-valued Kleene logics and three-element chains
- Preference Modeling by Rectangular Bilattices
- Reasoning with different levels of uncertainty
- The geometry of negation
- scientific article; zbMATH DE number 4008367 (Why is no real title available?)
- Note on a six-valued extension of three-valued logic
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- Foreword: three-valued logics and their applications
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- scientific article; zbMATH DE number 1859174 (Why is no real title available?)
- A note on the structure of bilattices
- Generalizing functional completeness in Belnap-Dunn logic
- Properties of general semantic operators determined by logic-based systems
- Strict/tolerant logics built using generalized weak Kleene logics
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Bilattice CADIAG-II: theory and experimental results
- A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
- scientific article; zbMATH DE number 6316277 (Why is no real title available?)
- Logics based on linear orders of contaminating values
- Competent predicate abstraction in model checking
- Attribute exploration with multiple contradicting partial experts
- The logic of lexical connectives
- Double negation as minimal negation
- Convergence of datalog over (pre-) semirings
- Algebras of intervals and a logic of conditional assertions
- Strategy-proof aggregation of approximate and imprecise judgments
- A non-deterministic view on non-classical negations
- Some useful 16-valued logics: How a computer network should think
- Neutrosophic logics: Prospects and problems
This page was built for publication: Kleene's Logic, Generalized
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3988058)
