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'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי