The Better Bubbling Lemma

DOI10.1016/j.entcs.2006.12.038zbMath1277.03016OpenAlexW1998409609WikidataQ124879021 ScholiaQ124879021MaRDI QIDQ2864214

Robert K. Meyer

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

zbMATH Keywords

semanticstype theorysubtypingbubblingminimal relevant logicB+CBclassical relevant logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• The semantics of entailment. III
• The semantics of entailment omega
• The Relevance of Semantic Subtyping
• A filter lambda model and the completeness of type assignment
• Semantic subtyping
• Logic as Mathematical Science
• Automata, Languages and Programming

This page was built for publication: The Better Bubbling Lemma