Proof-theoretic aspects of hybrid type-logical grammars

DOI10.1007/978-3-662-59648-7_6MaRDI QIDQ6190197zbMATH OpenOpenAlexFDO

Authors 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

lambda grammarLambek calculusproof netsproof theorytype-logical grammar

Mathematics Subject Classification ID

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

Recommendations

• Logical foundations for hybrid type-logical grammars
• Extensions of Lambek calculi
• Categorial grammar and type theory
• Polarized classical non-associative Lambek calculus and formal semantics
• Non-commutative linear logic in linguistics

Cited in

(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

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