scientific article; zbMATH DE number 590999
From MaRDI portal
Publication:4296301
zbMATH Open0804.03016MaRDI QIDQ4296301FDOQ4296301
Authors: Melvin Fitting 
Publication date: 22 January 1995
Title of this publication is not available (Why is that?)
Recommendations
tableauBelnap's four-valued logicKleene's strong logicdistributive bilatticesguard connectiveKleene's weak logicLisp logic
Cited In (61)
- Reasoning with belief functions over Belnap-Dunn logic
- Models of positive truth
- A cartography of LFIs and truth
- On three-valued presentations of classical logic
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Normalisation for some infectious logics and their relatives
- Towards systematic treatment of partial functions in knowledge representation
- Logical foundations of evidential reasoning with contradictory information
- Spotlight abstraction in model checking real-time task schedulability
- On Vidal's trivalent explanations for defective conditional in mathematics
- Bilattices and the semantics of logic programming
- Processing Information from a Set of Sources
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Some useful 16-valued logics: How a computer network should think
- Preference Modeling by Rectangular Bilattices
- Generalized correspondence analysis for three-valued logics
- Exactly true and non-falsity logics meeting infectious ones
- An epistemic interpretation of paraconsistent weak Kleene logic
- Logics based on linear orders of contaminating values
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Annotated revision specification programs
- Functional interdependence of regular Kleene logics
- Three-valued paraconsistent propositional logics
- A generalization of ACP using Belnap's logic
- Natural dualities through product representations: bilattices and beyond
- A non-deterministic view on non-classical negations
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Identity and aboutness
- Priestley duality for bilattices
- Generalizing functional completeness in Belnap-Dunn logic
- An approach to uncertainty via sets of truth values
- Variations on the collapsing lemma
- Bipolarity in bilattice logics
- Three-valued Kleene logics and three-element chains
- Varieties of interlaced bilattices
- A Gentzen calculus for nothing but the truth
- Galois connections for bilattices
- The logic of generalized truth values and the logic of bilattices
- Ideal paraconsistent logics
- Representation of interlaced trilattices
- The value of the four values
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- 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
- Belnap's logic and conditional composition
- Title not available (Why is that?)
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Bounded Model Checking for Partial Kripke Structures
- Belief functions on distributive lattices
- Sound and complete abstract graph transformation
- A generalization of ACP using Belnap's logic
- Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones
- Defining LFIs and LFUs in extensions of infectious logics
- First-degree entailment and its relatives
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Fixpoint semantics for logic programming a survey
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Elements of intuitionistic fuzzy logic. I
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4296301)
