Efficient reasoning with inconsistent information using C-systems

DOI10.1016/j.ins.2014.11.003zbMath1360.68827OpenAlexW2094504625MaRDI QIDQ527198

Arnon Avron, Anna Zamansky, Beata Konikowska

Publication date: 16 May 2017

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2014.11.003

zbMATH Keywords

many-valued logicsparaconsistent logicsanalytic proof systemsGentzen-style calculiinconsistent informationnon-deterministic logical matrices

Mathematics Subject Classification ID

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

Related Items (6)

Compositional meaning in logic ⋮ Sequent systems for negative modalities ⋮ Special fuzzy ellipsoid numbers and expressions of information ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi ⋮ Paraconsistency and the need for infinite semantics ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory and mathematical meaning of paraconsistent C-systems
• A non-deterministic view on non-classical negations
• Non-deterministic semantics for logics with a consistency operator
• Handbook of philosophical logic. Vol. 14
• Propositional sequence-calculi for inconsistent systems
• On the theory of inconsistent formal systems
• Bounded Proofs and Step Frames
• Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
• Non-deterministic Multiple-valued Structures
• SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
• Automated Support for the Investigation of Paraconsistent and Other Logics
• Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
• Aspects of Paraconsistent Logic
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Efficient reasoning with inconsistent information using C-systems