Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \)
From MaRDI portal
Publication:6097777
DOI10.1007/S10849-022-09388-5zbMath1515.03140OpenAlexW4311062736MaRDI QIDQ6097777
Publication date: 7 June 2023
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-022-09388-5
Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42)
Cites Work
- Unnamed Item
- Agnostic hyperintensional semantics
- Linear logic
- The calculus of constructions
- A Dynamic Categorial Grammar
- The Mathematics of Sentence Structure
- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
- Generalized quantifiers and natural language
- Gapping as Like-Category Coordination
- Proof Nets for Basic Discontinuous Lambek Calculus
- Stripping isn't so mysterious, or anomalous scope, either
This page was built for publication: Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \)