The Better Bubbling Lemma
From MaRDI portal
Publication:2864214
DOI10.1016/j.entcs.2006.12.038zbMath1277.03016MaRDI QIDQ2864214
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.12.038
semantics; type theory; subtyping; bubbling; minimal relevant logic; B+; CB; classical relevant logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Cites Work