Systematic Construction of Analytic Calculi for Logics of Formal Inconsistency

Arnon Avron, Beata Konikowska, ANNA ZAMANSKY

نتاج البحث: فصل من :كتاب / تقرير / مؤتمرفصلمراجعة النظراء

ملخص

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.
اللغة الأصليةالإنجليزيّة
عنوان منشور المضيفLogic without Frontiers
المحررونW. A. Carnielli, J. Y. Beziau
ناشرCollege Publications
الصفحات20-29
حالة النشرنُشِر - 2012
منشور خارجيًانعم

بصمة

أدرس بدقة موضوعات البحث “Systematic Construction of Analytic Calculi for Logics of Formal Inconsistency'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا