Author： Wansing H.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.71, Iss.3, 2002-08, pp. : 443-451
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
Classical Non-Associative Lambek Calculus
Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. :
Access to resources
Recommend
On Finite Models of the Lambek Calculus
Studia Logica, Vol. 80, Iss. 1, 2005-06 ,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. :