Non-commutative logic I: the multiplicative fragment

Authors
Abrusci, VM Ruet, P
Citation
Vm. Abrusci et P. Ruet, Non-commutative logic I: the multiplicative fragment, ANN PUR APP, 101(1), 2000, pp. 29-64
Citations number
20
Categorie Soggetti
Mathematics
Journal title
ANNALS OF PURE AND APPLIED LOGIC
ISSN journal
01680072 → ACNP
Volume
101
Issue
1
Year of publication
2000
Pages
29 - 64
Database
ISI
SICI code
0168-0072(20000103)101:1<29:NLITMF>2.0.ZU;2-5
Abstract
We introduce proof nets and sequent calculus for the multiplicative fragmen t of noncommutative logic, which is an extension of both linear logic and c yclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order va riety. (C) 2000 Elsevier Science B.V. All rights reserved. MSC. 03F03; 06A0 6.