Systematic Construction of Analytic Calculi for Logics of Formal Inconsistency

Arnon Avron, Beata Konikowska, ANNA ZAMANSKY

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


This paper makes a substantial step towards automatization of paraconsistent reasoning by providing a method for a systematic generation of
analytic calculi for thousands of Logics of Formal (In)consistency. The
method relies on non-deterministic three-valued semantics for these logics, and produces in a modular way uniform Gentzen-type rules, corresponding to a variety of schemata considered in the literature of LFIs.
Original languageEnglish
Title of host publicationLogic without Frontiers
EditorsW. A. Carnielli, J. Y. Beziau
PublisherCollege Publications
StatePublished - 2012
Externally publishedYes


Dive into the research topics of 'Systematic Construction of Analytic Calculi for Logics of Formal Inconsistency'. Together they form a unique fingerprint.

Cite this