𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reading 'On Denoting' on its Centenary

✍ Scribed by Kaplan, Mark

Book ID
105960103
Tongue
English
Weight
581 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On Denoting
On Denoting
✍ Russell, Bertrand πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 409 KB
II.β€”ON DENOTING
II.β€”ON DENOTING
✍ RUSSELL, BERTRAND πŸ“‚ Article πŸ“… 1905 πŸ› Oxford University Press 🌐 English βš– 730 KB
On denotational completeness
On denotational completeness
✍ Jean-Yves Girard πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 206 KB

The founding idea of linear logic is the duality between A and A βŠ₯ , with values in βŠ₯. This idea is at work in the original denotational semantics of linear logic, coherent spaces, but also in the phase semantics of linear logic, where the "bilinear form" which induces the duality is nothing but the

Russell on Meaning and Denoting
Russell on Meaning and Denoting
✍ P. T. Geach πŸ“‚ Article πŸ“… 1959 πŸ› Oxford University Press 🌐 English βš– 457 KB