Pages that link to "Item:Q965858"
From MaRDI portal
The following pages link to A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858):
Displaying 13 items.
- Simplified semantics for relevant logics (and some of their rivals) (Q689076) (← links)
- On permutation in simplified semantics (Q1025580) (← links)
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923) (← links)
- A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis (Q1263574) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- A plea for KR (Q2695153) (← links)
- The relevant fragment of first order logic (Q2804477) (← links)
- Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules (Q2904134) (← links)
- A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism (Q3081235) (← links)
- Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics (Q3121045) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions (Q4644508) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
