The following pages link to (Q4532199):
Displayed 5 items.
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- Noisy vs. Merely Equivocal Logics (Q4912985) (← links)