Pages that link to "Item:Q2904134"
From MaRDI portal
The following pages link to Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules (Q2904134):
Displaying 5 items.
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- A metacompleteness theorem for contraction-free relevant logics (Q1064316) (← links)
- Relevance and disjunctive syllogism (Q1107517) (← links)
- A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism (Q3081235) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)