✦ LIBER ✦

Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules

✍ Scribed by Sharon Shoham; Nissim Francez

Book ID: 106539033
Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 343 KB
Volume: 90
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-008-9148-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Labelled Deductive System for Relation

A Labelled Deductive System for Relational Semantics of the Lambek Calculus

✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.