scientific article; zbMATH DE number 590999
From MaRDI portal
Publication:4296301
Recommendations
Cited in
(70)- The value of the four values
- Elements of intuitionistic fuzzy logic. I
- Fixpoint semantics for logic programming a survey
- Generalized correspondence analysis for three-valued logics
- Rivals to Belnap-Dunn logic on interlaced trilattices
- First-degree entailment and its relatives
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- An approach to uncertainty via sets of truth values
- Galois connections for bilattices
- Identity and aboutness
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
- The logic of generalized truth values and the logic of bilattices
- Representation of interlaced trilattices
- Belnap's logic and conditional composition
- Natural dualities through product representations: bilattices and beyond
- Sound and complete abstract graph transformation
- A Gentzen calculus for nothing but the truth
- Logical foundations of evidential reasoning with contradictory information
- Variations on the collapsing lemma
- Bipolarity in bilattice logics
- Functional interdependence of regular Kleene logics
- Processing Information from a Set of Sources
- Three-valued Kleene logics and three-element chains
- Preference Modeling by Rectangular Bilattices
- scientific article; zbMATH DE number 3920445 (Why is no real title available?)
- Bilattices and the semantics of logic programming
- Priestley duality for bilattices
- Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones
- Defining LFIs and LFUs in extensions of infectious logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Belief functions on distributive lattices
- Generalizing functional completeness in Belnap-Dunn logic
- Exactly true and non-falsity logics meeting infectious ones
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Annotated revision specification programs
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
- Logics based on linear orders of contaminating values
- An epistemic interpretation of paraconsistent weak Kleene logic
- Three-valued paraconsistent propositional logics
- A generalization of ACP using Belnap's logic
- Models of positive truth
- Bounded Model Checking for Partial Kripke Structures
- On Vidal's trivalent explanations for defective conditional in mathematics
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Varieties of interlaced bilattices
- Ideal paraconsistent logics
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Towards systematic treatment of partial functions in knowledge representation
- Reasoning with belief functions over Belnap-Dunn logic
- A cartography of LFIs and truth
- On three-valued presentations of classical logic
- Normalisation for some infectious logics and their relatives
- Knot much like tonk
- Tableaux for metainferential logics
- Quantifiers in connexive logic (in general and in particular)
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- Variable domain first-order first-degree entailment and some of its children
- Knowledge and ignorance in Belnap-Dunn logic
- Modal, fuzzy,\dots, vanilla fixpoint theories of truth: a uniform approach
- On the structure and theory of McCarthy algebras
- A prudent logic of partial functions
- A non-deterministic view on non-classical negations
- Some useful 16-valued logics: How a computer network should think
- Spotlight abstraction in model checking real-time task schedulability
- A generalization of ACP using Belnap's logic
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)
