scientific article; zbMATH DE number 590999
From MaRDI portal
Publication:4296301
Recommendations
Cited in
(61)- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
- Logical foundations of evidential reasoning with contradictory information
- Spotlight abstraction in model checking real-time task schedulability
- Bilattices and the semantics of logic programming
- Reasoning with belief functions over Belnap-Dunn logic
- On Vidal's trivalent explanations for defective conditional in mathematics
- Processing Information from a Set of Sources
- Some useful 16-valued logics: How a computer network should think
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- 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
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- A generalization of ACP using Belnap's logic
- Logics based on linear orders of contaminating values
- Annotated revision specification programs
- Models of positive truth
- Natural dualities through product representations: bilattices and beyond
- Functional interdependence of regular Kleene logics
- A non-deterministic view on non-classical negations
- Three-valued paraconsistent propositional logics
- 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
- Varieties of interlaced bilattices
- Variations on the collapsing lemma
- Bipolarity in bilattice logics
- Three-valued Kleene logics and three-element chains
- 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
- A cartography of LFIs and truth
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
- On three-valued presentations of classical logic
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- Belnap's logic and conditional composition
- scientific article; zbMATH DE number 3920445 (Why is no real title available?)
- Rivals to Belnap-Dunn logic on interlaced trilattices
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Belief functions on distributive lattices
- Bounded Model Checking for Partial Kripke Structures
- 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
- Normalisation for some infectious logics and their relatives
- First-degree entailment and its relatives
- Defining LFIs and LFUs in extensions of infectious logics
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Fixpoint semantics for logic programming a survey
- Elements of intuitionistic fuzzy logic. I
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Towards systematic treatment of partial functions in knowledge representation
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)
