Pages that link to "Item:Q4237681"
From MaRDI portal
The following pages link to Independent bases for rules admissible in pretabular logics (Q4237681):
Displaying 7 items.
- On pretabular logics in NExtK4. I (Q456965) (← links)
- Independent bases for admissible rules of pretabular modal logic and its extensions (Q890977) (← links)
- On pretabular logics in NExtK4. II (Q2258999) (← links)
- Independent Bases of Admissible Rules (Q3508162) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Nilpotent Minimum Logic NM and Pretabularity (Q5126202) (← links)
- (Q5863756) (← links)