The following pages link to LC and Its Pretabular Relatives (Q3305421):
Displaying 6 items.
- A second pretabular classical relevance logic (Q1708106) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Simple axiomatizations for pretabular classical relevance logics (Q2307305) (← links)
- Two pretabular linear extensions of relevance logic R (Q5156188) (← links)
- (Q5202988) (← links)
- On pretabular extensions of relevance logic (Q6636375) (← links)