On the logic of expansion in natural language

DOI10.1007/978-3-662-53826-5_14zbMATH Open1485.03072OpenAlexW2554737764MaRDI QIDQ2964007FDOQ2964007

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)

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

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

zbMATH Keywords

expansionphase semanticsexponentialsmingleiterated coordinationrespectively constructionsemantic cut-elimination

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization

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)