Proof-theoretic aspects of hybrid type-logical grammars

DOI10.1007/978-3-662-59648-7_6zbMath1530.03130OpenAlexW2965884069MaRDI QIDQ6190197

Richard Moot, Symon Jory Stevens-Guille

Publication date: 6 February 2024

Published in: Formal Grammar (Search for Journal in Brave)

Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02268104/document

zbMATH Keywords

Lambek calculustype-logical grammarproof theoryproof netslambda grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution

This page was built for publication: Proof-theoretic aspects of hybrid type-logical grammars