The value of the four values
From MaRDI portal
Publication:1274293
DOI10.1016/S0004-3702(98)00032-0zbMATH Open0928.03025OpenAlexW1995375207MaRDI QIDQ1274293FDOQ1274293
Publication date: 12 January 1999
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00032-0
uncertaintyparaconsistencyreasoninginconsistencythree-valued logicsfour-valued logicsbilattice-valued logicsfour-valued inference relationsGinsberg's bilatticesmultiple-valued systemspreferential logics
Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25)
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- On the theory of inconsistent formal systems
- Reasoning with logical bilattices
- Natural 3-valued logics—characterization and proof theory
- Bilattices and the semantics of logic programming
- Minimally inconsistent LP
- Circumscription - a form of non-monotonic reasoning
- Note on a six-valued extension of three-valued logic
- The structure of interlaced bilattices
- Reasoning about truth
- A logic for reasoning with inconsistency
- Kleene's Logic, Generalized
- The mathematics of non-monotonic reasoning
- Evidential bilattice logic and lexical inference
- The family of stable models
- Seventy-five problems for testing automatic theorem provers
- On interpretation of inconsistent theories
- Rationality, transitivity, and contraposition
- Paraconsistent disjunctive deductive databases
- A model-theoretic approach for recovering consistent data from inconsistent knowledge bases
- Nonmonotonic logics. Basic concepts, results, and techniques
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (83)
- Paraconsistent double negation as a modal operator
- Bilattice logic of epistemic actions and knowledge
- Super-De Morgan functions and free De Morgan quasilattices
- De Morgan clones and four-valued logics
- A family of strict/tolerant logics
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- Bilattice Logics and Demi-Negation
- Bilattices and the semantics of logic programming
- A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION
- The Strict/Tolerant Idea and Bilattices
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- A calculus for four-valued sequential logic
- Four-valued paradefinite logics
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
- Stone-type representations and dualities for varieties of bisemilattices
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- On all strong Kleene generalizations of classical logic
- A non-deterministic view on non-classical negations
- Restricted semantics for default reasoning
- From Paraconsistent Logic to Dialetheic Logic
- Generalizing functional completeness in Belnap-Dunn logic
- Bipolarity in bilattice logics
- Neighbourhood semantics for FDE-based modal logics
- Bilattice logic properly displayed
- A Gentzen calculus for nothing but the truth
- Preferences in artificial intelligence
- Distance-based paraconsistent logics
- De Morgan functions and free De Morgan algebras.
- Hilbert-style presentations of two logics associated to tetravalent modal algebras
- Correspondence analysis and automated proof-searching for first degree entailment
- Analysing inconsistent first-order knowledgebases
- Ideal paraconsistent logics
- Double-faced rough sets and rough communication
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- Any-world assumptions in logic programming
- I don’t care, I don’t know … I know too much! On Incompleteness and Undecidedness in Abstract Argumentation
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
- Title not available (Why is that?)
- A decompositional deduction system for a logic featuring inconsistency and uncertainty
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Quantifying conflicts in propositional logic through prime implicates
- Interpolation methods for Dunn logics and their extensions
- Gentzen-type methods for bilattice negation
- A hierarchy of weak double negations
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- Belief functions on distributive lattices
- An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
- Title not available (Why is that?)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- Reasoning with different levels of uncertainty
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Notes on Craig interpolation for LJ with strong negation
- Four-Valued Logics BD and DM4: Expansions
- Bilattices with implications
- Recovering Consistency by Forgetting Inconsistency
- Falsification-aware semantics and sequent calculi for classical logic
- Embedding friendly first-order paradefinite and connexive logics
- Parametrized semantics of logic programs -- a unifying framework
- On Axioms and Rexpansions
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- Three-Valued Paraconsistent Propositional Logics
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
- Free choice reasons
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Logical Foundations of Evidential Reasoning with Contradictory Information
- An Approach to Human-Level Commonsense Reasoning
- Why Paraconsistent Logics?
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- Tarskian consequence relations bilaterally: some familiar notions
- Semantic inconsistency measures using 3-valued logics
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
- Sequent-type rejection systems for finite-valued non-deterministic logics
- Modeling and shadowing paraconsistent BDI agents
- Inconsistency-Tolerant Multi-Agent Calculus
- An algebraic theory for data linkage
- The value of the one value: \textit{exactly true logic} revisited
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
Recommendations
This page was built for publication: The value of the four values
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1274293)
