Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics

  title={Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics},
  author={Arnon Avron and Beata Konikowska and Anna Zamansky},
  journal={2012 27th Annual IEEE Symposium on Logic in Computer Science},
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. 

From This Paper

Figures, tables, and topics from this paper.
11 Citations
4 References
Similar Papers


Publications referenced by this paper.
Showing 1-4 of 4 references

On the theory of inconsistent formal systems

  • N.C.A. da Costa
  • Notre Dame Journal of Formal Logic,
  • 1974
Highly Influential
10 Excerpts

A taxonomy of C-systems

  • W. A. Carnielli, J. Marcos
  • W. A. Carnielli, M. E. Coniglio, and I. D…
  • 2002
Highly Influential
20 Excerpts

Similar Papers

Loading similar papers…