Classical Conservative Extensions of Lambek Calculus

Author： Abrusci V.M.  

Publisher： Springer Publishing Company

ISSN： 0039-3215

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

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

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

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

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

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

The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms

By Bulińska Maria  

Studia Logica, Vol. 81, Iss. 1, 2005-10 ,pp. : 43-59

Springer Publishing Company

Access to resources Recommend Favorite