Distributive Full Lambek Calculus Has the Finite Model Property |
| |
| Authors: | Michał Kozak |
| |
| Affiliation: | (1) Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Umultowska 87, 61-614 Poznań, Poland |
| |
| Abstract: | We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus (DFL) whose algebraic semantics is the class of distributive residuated lattices (DRL). The problem was left open in [8, 5]. We use the method of nuclei and quasi–embedding in the style of [10, 1]. Presented by Daniele Mundici. |
| |
| Keywords: | Full Lambek calculus Residuated lattice Distributive lattice Finite model property Decidability Nucleus |
| 本文献已被 SpringerLink 等数据库收录！ |
