Publication:4532199
From MaRDI portal
zbMath0999.03021MaRDI QIDQ4532199
Robert K. Meyer, Edwin D. Mares
Publication date: 28 November 2002
03A05: Philosophical and critical aspects of logic and foundations
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Noisy vs. Merely Equivocal Logics, New consecution calculi for \(R^{t}_{\to}\), A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism, Fragments of R-mingle, Combinatory logic and the semantics of substructural logics