Abstract
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.
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 language | English |
|---|---|
| Title of host publication | Logic without Frontiers |
| Editors | W. A. Carnielli, J. Y. Beziau |
| Publisher | College Publications |
| Pages | 20-29 |
| State | Published - 2012 |
| Externally published | Yes |