A system of interaction and structure II: the need for deep inference
Download (635.56 kB)
-
Altmetric Citations
Description
This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports deep inference, in which inference rules can be applied anywhere inside logical expressions. The use of deep inference results in a simple logical system for MLL extended with the self-dual non-commutative operator, which has been to date not known to be...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2006-04-03 |
Type: | Journal article |
URI: | http://hdl.handle.net/10440/505 |
Source: | Logical Methods in Computer Science |
DOI: | 10.2168/LMCS-2(2:4)2006 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
Tiu_System2006.pdf | 635.56 kB | Adobe PDF |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator