The value of the four values

DOI10.1016/S0004-3702(98)00032-0zbMath0928.03025OpenAlexW1995375207MaRDI QIDQ1274293

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

zbMATH Keywords

uncertainty paraconsistency reasoning inconsistency three-valued logics four-valued logics bilattice-valued logics four-valued inference relations Ginsberg's bilattices multiple-valued systems preferential logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Other algebras related to logic (03G25) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

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, A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION, Parametrized semantics of logic programs -- a unifying framework, On all strong Kleene generalizations of classical logic, Inconsistency-Tolerant Multi-Agent Calculus, Notes on Craig interpolation for LJ with strong negation, A Gentzen calculus for nothing but the truth, Preferences in artificial intelligence, О выразительных возможностях отдельных расширений четырехзначной логики Белнапа, Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B, Analysing inconsistent first-order knowledgebases, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Bilattices with implications, Correspondence analysis and automated proof-searching for first degree entailment, Quantifying conflicts in propositional logic through prime implicates, The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic, An algebraic theory for data linkage, Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic, Four-valued paradefinite logics, Interpolation methods for Dunn logics and their extensions, The value of the one value: \textit{exactly true logic} revisited, Unnamed Item, Super-De Morgan functions and free De Morgan quasilattices, Sequent-type rejection systems for finite-valued non-deterministic logics, Tarskian consequence relations bilaterally: some familiar notions, BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, Semantic inconsistency measures using 3-valued logics, Paraconsistent double negation as a modal operator, Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks, Four-Valued Logics BD and DM4: Expansions, Two-sided sequent calculi for \textit{FDE}-like four-valued logics, Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, Ideal paraconsistent logics, Unnamed Item, Recovering Consistency by Forgetting Inconsistency, Hilbert-style presentations of two logics associated to tetravalent modal algebras, REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS, Free choice reasons, Bipolarity in bilattice logics, Belief functions on distributive lattices, Logical Foundations of Evidential Reasoning with Contradictory Information, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Bilattice Logics and Demi-Negation, Generalizing functional completeness in Belnap-Dunn logic, Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation, Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems, Stone-type representations and dualities for varieties of bisemilattices, Bilattice logic of epistemic actions and knowledge, De Morgan functions and free De Morgan algebras., An Approach to Human-Level Commonsense Reasoning, Restricted semantics for default reasoning, Modal extension of ideal paraconsistent four-valued logic and its subsystem, I don’t care, I don’t know … I know too much! On Incompleteness and Undecidedness in Abstract Argumentation, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values, A calculus for four-valued sequential logic, Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators, A hierarchy of weak double negations, Distance-based paraconsistent logics, From Paraconsistent Logic to Dialetheic Logic, Why Paraconsistent Logics?, Double-faced rough sets and rough communication, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi, Neighbourhood semantics for FDE-based modal logics, Reasoning with different levels of uncertainty, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value, Proof theory of Nelson's paraconsistent logic: a uniform perspective, A decompositional deduction system for a logic featuring inconsistency and uncertainty, Three-Valued Paraconsistent Propositional Logics, Falsification-aware semantics and sequent calculi for classical logic, Embedding friendly first-order paradefinite and connexive logics, Bilattice logic properly displayed, Any-world assumptions in logic programming, An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi, Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), On Axioms and Rexpansions, The Strict/Tolerant Idea and Bilattices, A non-deterministic view on non-classical negations, Gentzen-type methods for bilattice negation

Cites Work