Pages that link to "Item:Q1066881"
From MaRDI portal
The following pages link to A note on the decidability of a strong relevant logic (Q1066881):
Displaying 6 items.
- Körner's criterion of relevance and analytic tableaux (Q1187981) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics (Q3514638) (← links)
- Natural deduction and sequent calculus for intuitionistic relevant logic (Q3797160) (← links)