On the logic of expansion in natural language

DOI10.1007/978-3-662-53826-5_14MaRDI QIDQ2964007zbMATH OpenOpenAlexFDO

Authors Glyn Morrill, Oriol Valentín

Publication date 22 February 2017

Published in Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-662-53826-5_14

zbMATH Keywords

expansionphase semanticsexponentialsmingleiterated coordinationrespectively constructionsemantic cut-elimination

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• The displacement calculus
• A categorial type logic
• scientific article; zbMATH DE number 1251242
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Categorial grammar and type theory

Cites work

• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• An infinitary sequent system for the equational theory of *-continuous action lattices
• Combinatory logic. With two sections by William Craig.
• Infinitary action logic: complexity, models and grammars
• Linear logic
• Models for the Displacement Calculus
• Optional and Iterated Types for Pregroup Grammars
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• Substructural logics with mingle
• The Mathematics of Sentence Structure
• The displacement calculus

Cited in

(4)

• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• Lambek calculus with banged atoms for parasitic gaps
• Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
• Count-invariance including exponentials

This page was built for publication: On the logic of expansion in natural language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2964007)