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

Local Logic

โœ Scribed by J. D. Graham

Book ID
121727160
Year
1977
Weight
354 KB
Volume
6
Category
Article
ISSN
0305-7259

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Local properties in modal logic
Local properties in modal logic
โœ Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 498 KB
Local logic and national nonsense
Local logic and national nonsense
โœ John M. Eisenberg ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 229 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

Logical and Local Differences
Logical and Local Differences
โœ Review by: Jerome Mazzaro ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Project MUSE ๐ŸŒ English โš– 788 KB