Pages that link to "Item:Q647410"
From MaRDI portal
The following pages link to An algebraic approach to canonical formulas: modal case (Q647410):
Displayed 9 items.
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- (Q4556013) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)