Proof-nets, hybrid logics and minimalist representations

DOI10.1023/A:1009957126407zbMath0971.03032OpenAlexW1534459275MaRDI QIDQ5931130

Alain Lecomte

Publication date: 30 October 2001

Published in: Grammars (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009957126407

zbMATH Keywords

generative grammarhybrid logicLambek calculuslinear logicproof-nettype-logical grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) 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)

This page was built for publication: Proof-nets, hybrid logics and minimalist representations