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 15 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)
- On permutation in simplified semantics (Q1025580) (← links)
- A metacompleteness theorem for contraction-free relevant logics (Q1064316) (← links)
- A Routley-Meyer semantics for converse Ackermann property (Q1091381) (← 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)
- Ticket entailment plus the mingle axiom has the variable-sharing property (Q2903766) (← links)
- Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules (Q2904134) (← links)
- (Q3202993) (← links)
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- Relational proof system for relevant logics (Q4032669) (← links)
- (Q4961804) (← links)