Distributive Full Lambek Calculus Has the Finite Model Property

✍ Scribed by Michał Kozak

• Publisher: Springer Netherlands
• Year: 2009
• Tongue: English
• Weight: 221 KB
• Volume: 91
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/s11225-009-9172-7