Pages that link to "Item:Q3081235"
From MaRDI portal
The following pages link to A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism (Q3081235):
Displaying 9 items.
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- Relevance and disjunctive syllogism (Q1107517) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- Constrained consequence (Q1941731) (← links)
- A plea for KR (Q2695153) (← links)
- (Q3202993) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
