✦ LIBER ✦

A Rule-Extension of the Non-Associative Lambek Calculus

✍ Scribed by Heinrich Wansing

Book ID: 110396517
Publisher: Springer Netherlands
Year: 2002
Tongue: English
Weight: 351 KB
Volume: 71
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1020529116833

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-Rule Axiomatization of Product-Free

Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String

✍ Wojciech Zielonka 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

A Faithful Representation of Non-Associa

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

✍ Christian Retoré; Sylvain Salvati 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 356 KB

A BRIEF SURVEY OF FRAMES FOR THE LAMBEK

A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS

✍ Kosta Došen 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 500 KB

## Abstract Models for the Lambek calculus of syntactic categories surveyed here are based on frames that are in principle of the same type as Kripke frames for intuitionistic logic. These models are extracted from the literature on models for relevant logics, in particular the ternary relationed m

Game Semantics for the Lambek-Calculus:

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

✍ Sharon Shoham; Nissim Francez 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 343 KB

A Completeness Theorem for the Lambek Ca

A Completeness Theorem for the Lambek Calculus of Syntactic Categories

✍ Kosta Došen 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 348 KB

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.