| ชื่อเรื่อง | : | Full completeness of the multiplicative linear logic of Chu spaces |
| นักวิจัย | : | Devarajan, Harish , Hughes, Dominic , Plotkin, Gordon , Pratt, Vaughan |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2542 |
| อ้างอิง | : | LICS’99 proceedings. , http://hdl.handle.net/1842/220 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 10 |
| บทคัดย่อ/คำอธิบาย | : | We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on a two-letter alphabet. |
| บรรณานุกรม | : |
Devarajan, Harish , Hughes, Dominic , Plotkin, Gordon , Pratt, Vaughan . (2542). Full completeness of the multiplicative linear logic of Chu spaces.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Devarajan, Harish , Hughes, Dominic , Plotkin, Gordon , Pratt, Vaughan . 2542. "Full completeness of the multiplicative linear logic of Chu spaces".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Devarajan, Harish , Hughes, Dominic , Plotkin, Gordon , Pratt, Vaughan . "Full completeness of the multiplicative linear logic of Chu spaces."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2542. Print. Devarajan, Harish , Hughes, Dominic , Plotkin, Gordon , Pratt, Vaughan . Full completeness of the multiplicative linear logic of Chu spaces. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2542.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
