Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules |
| |
| Authors: | Sharon Shoham Nissim Francez |
| |
| Institution: | (1) Department of Computer Science, Technion-Israel Institute of Technology, Haifa, 32000, Israel |
| |
| Abstract: | In this paper, we propose a game semantics for the (associative) Lambek calculus. Compared to the implicational fragment of intuitionistic propositional calculus, the semantics deals with two features of
the logic: absence of structural rules, as well as directionality of implication. We investigate the impact of these variations
of the logic on its game semantics.
Presented by Wojciech Buszkowski |
| |
| Keywords: | Lambek calculus Game semantics |
| 本文献已被 SpringerLink 等数据库收录！ |
