On Finite Models of the Lambek Calculus

ISSN： 0039-3215

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

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

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

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