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 |
Fingerprint
Dive into the research topics of 'Systematic Construction of Analytic Calculi for Logics of Formal Inconsistency'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver