Proof Nets for the Multimodal Lambek Calculus

ISSN： 0039-3215

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

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

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

A ‘Natural Logic’ inference system using the Lambek calculus

By Zamansky Anna Francez Nissim Winter Yoad

Journal of Logic, Language and Information, Vol. 15, Iss. 3, 2006-10 ,pp. : 273-295

Springer Publishing Company

Access to resources Recommend Favorite