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 |
مواد مشابهة
-
Hypocitraturia and hypokaliuria : major metabolic risk factors for kidney stone disease
بواسطة: Phantip Youngjermchan, وآخرون
منشور في: (2008) -
Studies in chloride-bicarbonate exchanger gene AE1 mutations in subjects with Southeast Asian ovalocytosis and distal renal tubular acidosis
بواسطة: Peti Thuwajit
منشور في: (2023) -
Urolithiasis in Udon Thani Hospital : a rising prevalence of uric acid stone
بواسطة: Chanchai Boonla, وآخرون
منشور في: (2006) -
Semantics for Specialising Attack Trees based on Linear Logic
بواسطة: Horne, Ross, وآخرون
منشور في: (2017) -
A labelled sequent calculus for BBI : proof theory and proof search
بواسطة: Hóu, Zhé, وآخرون
منشور في: (2020)