Author: Zamansky Anna Francez Nissim Winter Yoad
Publisher: Springer Publishing Company
ISSN: 0925-8531
Source: Journal of Logic, Language and Information, Vol.15, Iss.3, 2006-10, pp. : 273-295
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
On Finite Models of the Lambek Calculus
Studia Logica, Vol. 80, Iss. 1, 2005-06 ,pp. :
Classical Non-Associative Lambek Calculus
Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. :
Proof Nets for the Multimodal Lambek Calculus
Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. :
Classical Conservative Extensions of Lambek Calculus
By Abrusci V.M.
Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. :
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms
Studia Logica, Vol. 81, Iss. 1, 2005-10 ,pp. :