𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Semantics of Locatives

✍ Scribed by Marcus Kracht


Book ID
110330385
Publisher
Springer Netherlands
Year
2002
Tongue
English
Weight
403 KB
Volume
25
Category
Article
ISSN
0165-0157

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the semantics of polymorphism
✍ Mario Coppo πŸ“‚ Article πŸ“… 1983 πŸ› Springer-Verlag 🌐 English βš– 598 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