Parsing/theorem-proving for logical grammar CatLog3
Visualitza/Obre
Cita com:
hdl:2117/128861
Tipus de documentArticle
Data publicació2019-06
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
CatLog3 is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical categorial grammar syntax is universal and grammar is reduced to logic: an expression is grammatical if and only if an associated logical statement is a theorem of a fixed calculus. Since the syntactic component is invariant, being the logic of the calculus, logical categorial grammar is purely lexicalist and a particular language model is defined by just a lexical dictionary. The foundational logic of continuity was established by Lambek (Am Math Mon 65:154–170, 1958) (the Lambek calculus) while a corresponding extension including also logic of discontinuity was established by Morrill and Valentín (Linguist Anal 36(1–4):167–192, 2010) (the displacement calculus). CatLog3 implements a logic including as primitive connectives the continuous (concatenation) and discontinuous (intercalation) connectives of the displacement calculus, additives, 1st order quantifiers, normal modalities, bracket modalities, and universal and existential subexponentials. In this paper we review the rules of inference for these primitive connectives and their linguistic applications, and we survey the principles of Andreoli’s focusing, and of a generalisation of van Benthem’s count-invariance, on the basis of which CatLog3 is implemented.
CitacióMorrill, G. Parsing/theorem-proving for logical grammar CatLog3. "Journal of logic, language and information", vol. 28, núm. 2, Juny 2019, p. 183-216.
ISSN1572-9583
Versió de l'editorhttps://link.springer.com/article/10.1007/s10849-018-09277-w
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
lacompling181207.pdf | 244,9Kb | Visualitza/Obre |