97 search results - page 1 / 20 » A 'Natural Logic' inference system using the Lambek calculus |
64
Voted
JOLLI
2006
14 years 9 months ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
90
Voted
ACL
1989
14 years 10 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
WOLLIC
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
IANDC
2010
14 years 8 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...