Non-commutative logic II: sequent calculus and phase semantics (1998)
| Citations: | 24 - 6 self |
BibTeX
@MISC{Ruet98non-commutativelogic,
author = {Paul Ruet},
title = {Non-commutative logic II: sequent calculus and phase semantics},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
INTRODUCTION Non-commutative logic is a unication of : | commutative linear logic (Girard 1987) and | cyclic linear logic (Girard 1989; Yetter 1990), a classical conservative extension of the Lambek calculus (Lambek 1958). In a previous paper with Abrusci (Abrusci and Ruet 1999) we presented the multiplicative fragment of non-commutative logic, with proof nets and a sequent calculus based on the structure of order varieties, and a sequentialization theorem. Here we consider full propositional non-commutative logic. Non-commutative logic. Let us rst review the basic ideas. Consider the purely noncommutative fragment of linear logic, obtained by removing the exchange rule entirely : ` ; ; ; , ` ; ; ; y This work has been partly carried out at LIENS-CNRS, Ecole Normale Superieure (Paris), at McGill University
