The following pages link to (Q4532199):
Displayed 7 items.
- Aristotle's assertoric syllogistic and modern relevance logic (Q514108) (← links)
- 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)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)