Author： MacCaull W. Orłlowska E.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.71, Iss.3, 2002-08, pp. : 389-414
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
Proof Nets for the Multimodal Lambek Calculus
Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. :
Access to resources
Recommend
On Reduction Systems Equivalent to The Lambek Calculus with the Empty String
By Zielonka W.
Studia Logica, Vol. 71, Iss. 1, 2002-06 ,pp. :
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. :
Classical Conservative Extensions of Lambek Calculus
By Abrusci V.M.
Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. :