𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Induction in linear logic

✍ Scribed by Fumihiko Yamaguchi; Masakazu Nakanishi

Book ID
105530809
Publisher
Springer
Year
1996
Tongue
English
Weight
423 KB
Volume
35
Category
Article
ISSN
0020-7748

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Quantum logic and linear logic
Quantum logic and linear logic
✍ L. RomΓ‘n πŸ“‚ Article πŸ“… 1994 πŸ› Springer 🌐 English βš– 512 KB πŸ‘ 1 views
On Inductive Logic
On Inductive Logic
✍ Carnap, Rudolf πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 1 MB
Symmetry in Polyadic Inductive Logic
Symmetry in Polyadic Inductive Logic
✍ J. B. Paris; A. VencovskΓ‘ πŸ“‚ Article πŸ“… 2011 πŸ› Springer Netherlands 🌐 English βš– 261 KB
Light Linear Logic
Light Linear Logic
✍ Jean-Yves Girard πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 464 KB
Local computation in linear logic
Local computation in linear logic
✍ Ugo Solitro; Silvio Valentini πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 613 KB

## Abstract This work deals with the exponential fragment of Girard's linear logic ([3]) without the contraction rule, a logical system which has a natural relation with the direct logic ([10], [7]). A new sequent calculus for this logic is presented in order to remove the weakening rule and recove