Logical foundations for hybrid type-logical grammars
| Autor: | Richard Moot, Symon Jory Stevens-Guille |
|---|---|
| Přispěvatelé: | Exploration et exploitation de données textuelles (TEXTE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Department of Linguistics [Ohio], Ohio State University [Columbus] (OSU) |
| Rok vydání: | 2020 |
| Předmět: |
FOS: Computer and information sciences
Linguistics and Language Computer Science - Computation and Language Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) Mathematics - Logic [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] Philosophy TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer Science::Logic in Computer Science Computer Science (miscellaneous) FOS: Mathematics Logic (math.LO) Computation and Language (cs.CL) Computer Science::Formal Languages and Automata Theory |
| Zdroj: | Journal of Logic, Language and Information Journal of Logic, Language and Information, Springer Verlag, In press |
| ISSN: | 0925-8531 1572-9583 |
| DOI: | 10.48550/arxiv.2009.10387 |
| Popis: | International audience; This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and a multimodal version incorporating structural rules and unary modes. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink