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
المعرِّفات الرقمية للأشياء
حالة النشرنُشِر - 2012
الحدث2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 - Dubrovnik, كرواتيا
المدة: ٢٥ يونيو ٢٠١٢٢٨ يونيو ٢٠١٢

سلسلة المنشورات

الاسمProceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012

!!Conference

!!Conference2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
الدولة/الإقليمكرواتيا
المدينةDubrovnik
المدة٢٥/٠٦/١٢٢٨/٠٦/١٢

All Science Journal Classification (ASJC) codes

  • !!Computer Science (miscellaneous)
  • !!Logic

بصمة

أدرس بدقة موضوعات البحث “Modular construction of cut-free sequent calculi for paraconsistent logics'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا