A Natural Logic inference system using the Lambek calculus

Anna Zamansky, Nissim Francez, Yoad Winter. A Natural Logic inference system using the Lambek calculus. Journal of Logic, Language and Information, 15(3):273-295, 2006. [doi]

Abstract

Abstract is missing.