The following pages link to STABLE CANONICAL RULES (Q2805038):
Displayed 15 items.
- Admissible bases via stable canonical rules (Q284230) (← links)
- Cofinal stable logics (Q514517) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Irreducible equivalence relations, Gleason spaces, and de Vries duality (Q2014017) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- (Q4556013) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- A variety of algebras closely related to subordination algebras (Q5048041) (← links)
- (Q5101337) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Subordinations on bounded distributive lattices (Q6105027) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)