A Game Model for Proofs with Costs

Timo Lang, Carlos Olarte, Elaine Pimentel +1

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…