Efficient reasoning with inconsistent information using C-systems
type: Item
instance of: scholarly article
title: Efficient reasoning with inconsistent information using C-systems
zbMATH Open document ID: 1360.68827
author: Arnon Avron
author: Beata Konikowska
author: Anna Zamansky
published in: Information Sciences
publication date: 2017-05-16T00:00:00Z
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6715868
zbMATH Keywords: inconsistent information
zbMATH Keywords: analytic proof systems
zbMATH Keywords: Gentzen-style calculi
zbMATH Keywords: paraconsistent logics
zbMATH Keywords: many-valued logics
zbMATH Keywords: non-deterministic logical matrices
MaRDI profile type: Publication
full work available at URL: j.ins.2014.11.003
OpenAlex ID: W2094504625
cites work: Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
cites work: Q5311061
cites work: A non-deterministic view on non-classical negations
cites work: Q3112289
cites work: Non-deterministic semantics for logics with a consistency operator
cites work: Multi-valued Calculi for Logics Based on Non-determinism
cites work: Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
cites work: Cut-free sequent calculi for C-systems with generalized finite-valued semantics
cites work: Non-deterministic Multiple-valued Structures
cites work: Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
cites work: Bounded Proofs and Step Frames
cites work: Q4856966
cites work: Q4275687
cites work: Q3007252
cites work: Handbook of philosophical logic. Vol. 14
cites work: Q4440555
cites work: Automated Support for the Investigation of Paraconsistent and Other Logics
cites work: On the theory of inconsistent formal systems
cites work: Aspects of Paraconsistent Logic
cites work: Q5753932
cites work: Proof theory and mathematical meaning of paraconsistent C-systems
cites work: SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
cites work: Propositional sequence-calculi for inconsistent systems
DOI: 10.1016/J.INS.2014.11.003
description: scientific article; zbMATH DE number 6715868