A game model for proofs with costs
From MaRDI portal
Publication:2180520
DOI10.1007/978-3-030-29026-9_14zbMath1468.03025arXiv1906.11742OpenAlexW2971252394MaRDI QIDQ2180520
Carlos Olarte, Christian G. Fermüller, Elaine Pimentel, Timo Lang
Publication date: 14 May 2020
Full work available at URL: https://arxiv.org/abs/1906.11742
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
This page was built for publication: A game model for proofs with costs
