A 'Natural Logic' inference system using the Lambek calculus

14 years 12 days ago

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

Calculus | JOLLI 2006 | Natural Language | Van Benthem |

claim paper

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JOLLI
Authors	Anna Zamansky, Nissim Francez, Yoad Winter

Comments (0)