A Game Model for Proofs with Costs
TABLEAUX, pp. 241-258, 2019.
We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this aim, we start with a game, where player I defends a claim corresponding to a (single-conclusion) sequent, while player II tries to refute that claim. Branchi...More
PPT (Upload PPT)