Publication:4826043
From MaRDI portal
zbMath1051.03022MaRDI QIDQ4826043
No author found.
Publication date: 5 November 2004
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism, The basic constructive logic for negation-consistency