A Labelled Deductive System for Relational Semantics of the Lambek Calculus

✍ Scribed by Miroslawa Kolowska-Gawiejnowicz

• Publisher: John Wiley and Sons
• Year: 1999
• Tongue: English
• Weight: 484 KB
• Volume: 45
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19990450105

✦ Synopsis

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.