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

DOI10.1007/S11225-008-9148-ZzbMath1181.03022OpenAlexW2032042960MaRDI 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 calculusgame semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

A dialogical route to logical pluralism

Cites Work

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

This page was built for publication: Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules