A Game Model for Proofs with Costs

Timo Lang
Timo Lang
Christian G. Fermüller
Christian G. Fermüller

TABLEAUX, pp. 241-258, 2019.

Cited by: 0|Bibtex|Views1|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments