Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics

Authors:
Arnon Avron;Beata Konikowska;Anna Zamansky
Affiliations:
-;-;-
Venue:
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Year:
2012

Citing 3
Cited 2

Non-deterministic Multiple-valued Structures

Journal of Logic and Computation
Non-deterministic semantics for logics with a consistency operator

International Journal of Approximate Reasoning
Many-valued non-deterministic semantics for first-order logics of formal (in)consistency

Algebraic and proof-theoretic aspects of non-classical logics

Effective finite-valued semantics for labelled calculi

IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Negative Modalities, Consistency and Determinedness

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper makes a substantial step towards automatization of Para consistent reasoning by providing a general method for a systematic and modular generation of cut-free calculi for thousands of Para consistent logics known as Logics of Formal (In)consistency. The method relies on the use of non-deterministic semantics for these logics.