The following pages link to Kleene's Logic, Generalized (Q3988058):
Displaying 48 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Competent predicate abstraction in model checking (Q543199) (← links)
- Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
- Algebras of intervals and a logic of conditional assertions (Q704035) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Neutrosophic logics: Prospects and problems (Q835186) (← links)
- The value of the four values (Q1274293) (← links)
- Inconsistency without contradiction (Q1276426) (← links)
- An implementation of Kripke-Kleene semantics (Q1292578) (← links)
- A theory of truth that prefers falsehood (Q1366760) (← links)
- Kleene's Logic with equality (Q1603370) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- A theory of truthmaker content. I: Conjunction, disjunction and negation (Q1696468) (← links)
- An approach to uncertainty via sets of truth values (Q1903588) (← links)
- Contradictory information: too much of a good thing (Q1959325) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- Identity and aboutness (Q2056226) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- Formal concept analysis perspectives on three-way conflict analysis (Q2105600) (← links)
- Assertion, rejection, and semantic universals (Q2148832) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- Missing values and dragonfly operations in fuzzy relational compositions (Q2302773) (← links)
- Bilattices for deductions in multi-valued logic (Q2353941) (← links)
- Representation of interlaced trilattices (Q2446542) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION (Q3442756) (← links)
- Preference Modeling by Rectangular Bilattices (Q3619448) (← links)
- Reasoning with different levels of uncertainty (Q3643259) (← links)
- The Geometry of Negation (Q3647200) (← links)
- Note on a six-valued extension of three-valued logic (Q4291025) (← links)
- Foreword: Three-valued logics and their applications (Q4583341) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- A note on the structure of bilattices (Q4862766) (← links)
- Properties of General Semantic Operators Determined by Logic-Based Systems (Q4982061) (← links)
- (Q4999723) (← links)
- Bilattice CADIAG-II: Theory and Experimental Results (Q5014539) (← links)
- A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic (Q5066797) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- (Q5169616) (← links)
- Logics based on linear orders of contaminating values (Q5213389) (← links)
- Attribute exploration with multiple contradicting partial experts (Q6045082) (← links)
- The logic of lexical connectives (Q6054060) (← links)
- Double negation as minimal negation (Q6190088) (← links)
