Pages that link to "Item:Q284230"
From MaRDI portal
The following pages link to Admissible bases via stable canonical rules (Q284230):
Displaying 5 items.
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Stable canonical rules (Q2805038) (← links)
- Canonical rules (Q3655251) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)