Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic |
| |
Authors: | Michael Kaminski Nissim Francez |
| |
Institution: | 1. Department of Computer Science, Technion - Israel Institute of Technology, 32000, Haifa, Israel
|
| |
Abstract: | We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|