In this paper we develop the beginnings of a tableau system for natural logic, the logic that is present in ordinary language and that us used in ordinary reasoning. The system is based on certain terms of the typed lambda calculus that can go proxy for linguistic forms and which we call Lambda Logical Forms. It is argued that proof-theoretic methods like the present one should complement the more traditional model-theoretic methods used in the computational study of natural language meaning. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Muskens, R. (2010). An analytic tableau system for natural logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6042 LNAI, pp. 104–113). https://doi.org/10.1007/978-3-642-14287-1_11
Mendeley helps you to discover research relevant for your work.