Private Names in Non-Commutative Logic

• المؤلفون الرئيسيون: Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel
• مؤلفون آخرون: School of Computer Engineering
• التنسيق: Conference or Workshop Item
• اللغة: English
• منشور في: 2016
• الموضوعات: process calculi; calculus of structures
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/81425; http://hdl.handle.net/10220/41534

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 `...