Private Names in Non-Commutative Logic

• Main Authors: Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel
• Other Authors: School of Computer Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2016
• Subjects: process calculi; calculus of structures
• Online Access: https://hdl.handle.net/10356/81425; http://hdl.handle.net/10220/41534
• Institution: Nanyang Technological University

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