𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Pure semantics and applied semantics

✍ Scribed by B. J. Copeland


Publisher
Springer Netherlands
Year
1983
Tongue
English
Weight
721 KB
Volume
2
Category
Article
ISSN
0167-7411

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Applying semantics to grid middleware
✍ A. C. T. Vidal; F. J. S. Silva; S. T. Kofuji; F. Kon πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 469 KB
On phase semantics and denotational sema
✍ Antonio Bucciarelli; Thomas Ehrhard πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 281 KB

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We deΓΏne an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we as