𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Completeness Theorem for the Lambek Calculus of Syntactic Categories

✍ Scribed by Kosta Došen

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
348 KB
Volume
31
Category
Article
ISSN
0044-3050

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.

Sufficient and Necessary Condition for t
Sufficient and Necessary Condition for the Completeness of a Calculus
✍ H. Andréka; T. Gergely; I. Németi 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB 👁 1 views

I n this study we reformulate GODEL'S completeness theorem such that any firstorder calculus can be tested for completeness. The theorem in this form gives simple sufficient and necessary algebraic conditions for the calculus to be complete.