Private Names in Non-Commutative Logic

We present an expressive but decidable first-order system (named MAV1) defined by using the calculus of structures, a generalisation of the sequent calculus. In addition to first-order universal and existential quantifiers the system incorporates a de Morgan dual pair of nominal quantifiers called `...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel
مؤلفون آخرون: School of Computer Engineering
التنسيق: Conference or Workshop Item
اللغة:English
منشور في: 2016
الموضوعات:
الوصول للمادة أونلاين:https://hdl.handle.net/10356/81425
http://hdl.handle.net/10220/41534
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة: Nanyang Technological University
اللغة: English

مواد مشابهة