Sciweavers

JOLLI
2006

A 'Natural Logic' inference system using the Lambek calculus

13 years 11 months ago
A 'Natural Logic' inference system using the Lambek calculus
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
Anna Zamansky, Nissim Francez, Yoad Winter
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JOLLI
Authors Anna Zamansky, Nissim Francez, Yoad Winter
Comments (0)