𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Non-commutative logic I: the multiplicative fragment

✍ Scribed by V.Michele Abrusci; Paul Ruet

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
283 KB
Volume
101
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

✦ Synopsis

We introduce proof nets and sequent calculus for the multiplicative fragment of noncommutative 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.

πŸ“œ SIMILAR VOLUMES

Existence and uniqueness results for the
Existence and uniqueness results for the non-autonomous coagulation and multiple-fragmentation equation
✍ D. J. McLaughlin; W. Lamb; A. C. McBride πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 154 KB πŸ‘ 2 views

An initial-value problem modelling coagulation and fragmentation processes is studied. The results of earlier papers are extended to models where either one or both of the rates of coagulation and fragmentation depend on time. An abstract integral equation, involving the solution operator to the lin