The following pages link to CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969):
Displaying 5 items.
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
