The Lambek Calculus Extended with Intuitionistic Propositional Logic |
| |
Authors: | Michael Kaminski Nissim Francez |
| |
Abstract: | We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |