๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Non-commutative intuitionistic linear logic

โœ Scribed by V. Michele Abrusci

Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
945 KB
Volume
36
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Relating Natural Deduction and Sequent C
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
โœ Jeff Polakow; Frank Pfenning ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 851 KB

We present a sequent calculus for intuitionistic non-commutative linear logic (INCLL), show that it satisfies cut elimination, and investigate its relationship to a natural deduction system for the logic. We show how normal natural deductions correspond to cut-free derivations, and arbitrary natural

Non-commutative logic I: the multiplicat
Non-commutative logic I: the multiplicative fragment
โœ V.Michele Abrusci; Paul Ruet ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 283 KB

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 va