𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Linear logic and elementary time

✍ Scribed by Vincent Danos; Jean-Baptiste Joinet


Book ID
114273336
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
265 KB
Volume
183
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


ELEMENTARY LOGIC
πŸ“‚ Article πŸ“… 1966 πŸ› John Wiley and Sons βš– 160 KB
Continuity and Elementary Logic
✍ Leslie H. Tharp πŸ“‚ Article πŸ“… 1974 πŸ› Association for Symbolic Logic 🌐 English βš– 693 KB
Continuity and Elementary Logic
✍ Leslie H. Tharp πŸ“‚ Article πŸ“… 1974 πŸ› Association for Symbolic Logic 🌐 English βš– 693 KB

The purpose of this paper is to investigate continuity properties arising in elementary (i.e., first-order) logic in the hope of illuminating the special status of this logic. The continuity properties turn out to be closely related to conditions which characterize elementary logic uniquely, and lea

Quantum logic and linear logic
✍ L. RomΓ‘n πŸ“‚ Article πŸ“… 1994 πŸ› Springer 🌐 English βš– 512 KB πŸ‘ 1 views