The following pages link to Canonical rules (Q3655251):
Displaying 22 items.
- On rules (Q266650) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Cofinal stable logics (Q514517) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- Rules with parameters in modal logic. II. (Q2004954) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Stable canonical rules (Q2805038) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Canonicity! (Q3541714) (← links)
- Rules and Derived Rules (Q4049046) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)