𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Logic of Existence and Denotation

✍ Scribed by Rescher, Nicholas

Year
0
Tongue
English
Weight
2 MB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the denotations of anaphors
On the denotations of anaphors
✍ Edward L. Keenan πŸ“‚ Article πŸ“… 2006 πŸ› Springer 🌐 English βš– 167 KB
On phase semantics and denotational sema
On phase semantics and denotational semantics: the exponentials
✍ 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