Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules

DOI10.1007/s11225-008-9148-zzbMath1181.03022MaRDI QIDQ1005955

Nissim Francez, Sharon Shoham

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9148-z

zbMATH Keywords

Lambek calculus; game semantics

Mathematics Subject Classification ID

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03B20: Subsystems of classical logic (including intuitionistic logic)

Cites Work

• Unnamed Item
• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• The logic of information structures
• The Mathematics of Sentence Structure