Modular construction of cut-free sequent calculi for paraconsistent logics

Arnon Avron, Beata Konikowska, Anna Zamansky

פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

תקציר

This paper makes a substantial step towards automatization of Para consistent reasoning by providing a general method for a systematic and modular generation of cut-free calculi for thousands of Para consistent logics known as Logics of Formal (In)consistency. The method relies on the use of non-deterministic semantics for these logics.

שפה מקוריתאנגלית
כותר פרסום המארחProceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
עמודים85-94
מספר עמודים10
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 2012
אירוע2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 - Dubrovnik, קרואטיה
משך הזמן: 25 יוני 201228 יוני 2012

סדרות פרסומים

שםProceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012

כנס

כנס2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
מדינה/אזורקרואטיה
עירDubrovnik
תקופה25/06/1228/06/12

ASJC Scopus subject areas

  • ???subjectarea.asjc.1700.1701???
  • ???subjectarea.asjc.2600.2609???

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Modular construction of cut-free sequent calculi for paraconsistent logics'. יחד הם יוצרים טביעת אצבע ייחודית.

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