DOI10.1016/j.entcs.2006.12.038zbMath1277.03016OpenAlexW1998409609MaRDI 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