On Reduction Systems Equivalent to The Lambek Calculus with the Empty String

Author： Zielonka W.  

Publisher： Springer Publishing Company

ISSN： 0039-3215

Source： Studia Logica, Vol.71, Iss.1, 2002-06, pp. : 31-46

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus

By MacCaull W.   Orłlowska E.  

Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. : 389-414

Springer Publishing Company

Access to resources Recommend Favorite

On Finite Models of the Lambek Calculus

By Farulewski Maciej  

Studia Logica, Vol. 80, Iss. 1, 2005-06 ,pp. : 63-74

Springer Publishing Company

Access to resources Recommend Favorite

Classical Non-Associative Lambek Calculus

By de Groote P.   Lamarche F.  

Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. : 355-388

Springer Publishing Company

Access to resources Recommend Favorite

Proof Nets for the Multimodal Lambek Calculus

By Moot R.   Puite Q.  

Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. : 415-442

Springer Publishing Company

Access to resources Recommend Favorite

Classical Conservative Extensions of Lambek Calculus

By Abrusci V.M.  

Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. : 277-314

Springer Publishing Company

Access to resources Recommend Favorite