Title of article
Non-commutative logic I: the multiplicative fragment Original Research Article
Author/Authors
V.Michele Abrusci، نويسنده , , Paul Ruet، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
36
From page
29
To page
64
Abstract
We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.
Keywords
Order varieties , Sequent calculus , Linear logic , Proof nets
Journal title
Annals of Pure and Applied Logic
Serial Year
1999
Journal title
Annals of Pure and Applied Logic
Record number
889696
Link To Document