𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Finite Models of the Lambek Calculus

✍ Scribed by Maciej Farulewski

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
154 KB
Volume
80
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Concrete Categorical Model for the Lam
A Concrete Categorical Model for the Lambek Syntactic Calculus
✍ Marcelo Da Silva CorrΓͺa; Edward Hermann Haeusler πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 530 KB

## Abstract We present a categorical/denotational semantics for the Lambek Syntactic Calculus (LSC), indeed for a Ξ»lD‐typed version Curry‐Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It

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