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

DOI10.1007/S11225-008-9148-ZzbMATH Open1181.03022OpenAlexW2032042960MaRDI QIDQ1005955FDOQ1005955

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

game semanticsLambek calculus

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)

Cites Work

• The logic of information structures
• Lectures on the Curry-Howard isomorphism
• The Mathematics of Sentence Structure
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• A dialogical route to logical pluralism

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

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