Four-valued paradefinite logics
type: Item
instance of: scholarly article
title: Four-valued paradefinite logics
zbMATH Open document ID: 1417.03190
author: Ofer Arieli
author: Arnon Avron
published in: Studia Logica
publication date: 2017-12-14T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 6818671
zbMATH Keywords: paraconsistency
zbMATH Keywords: paracompleteness
zbMATH Keywords: 4-valued logics
MaRDI profile type: Publication
full work available at URL: s11225-017-9721-4
OpenAlex ID: W2604370760
cites work: Reasoning about truth
cites work: Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: Q4329280
cites work: Three-Valued Paraconsistent Propositional Logics
cites work: Q5369472
cites work: Ideal paraconsistent logics
cites work: Maximal and premaximal paraconsistency in the framework of three-valued semantics
cites work: Reducing Preferential Paraconsistent Reasoning to Classical Entailment
cites work: A calculus of antinomics
cites work: Natural 3-valued logics—characterization and proof theory
cites work: On the expressive power of three-valued and four-valued languages
cites work: Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
cites work: Processing Information from a Set of Sources
cites work: Multi-valued Calculi for Logics Based on Non-determinism
cites work: Finite-valued logics for information processing
cites work: Cut-free sequent calculi for C-systems with generalized finite-valued semantics
cites work: Non-deterministic Multiple-valued Structures
cites work: Minimally inconsistent LP
cites work: Q3206928
cites work: Q3086715
cites work: Four-valued logic
cites work: The logic of distributive bilattices
cites work: On the theory of inconsistent formal systems
cites work: Classical negation and expansions of Belnap-Dunn logic
cites work: Q4722043
cites work: On negation: Pure local rules
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Q3995890
cites work: Bilattices and the semantics of logic programming
cites work: The family of stable models
cites work: Fixpoint semantics for logic programming a survey
cites work: Q3604278
cites work: On Łukasiewicz's four-valued modal logic
cites work: What is negation?
cites work: Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
cites work: A treatise on many-valued logics
cites work: Q4289329
cites work: The logic of generalized truth values and the logic of bilattices
cites work: Four-valued semantics for relevant logics (and some of their rivals)
cites work: Deducibility and many-valuedness
cites work: Q4159022
cites work: Q4499084
cites work: Q3070870
cites work: Q4789456
cites work: Four valued semantics and the Liar
DOI: 10.1007/S11225-017-9721-4
description: scientific article; zbMATH DE number 6818671