Pages that link to "Item:Q3644804"
From MaRDI portal
The following pages link to AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804):
Displaying 18 items.
- Forbidden configurations and subframe varieties (Q331025) (← links)
- Cofinal stable logics (Q514517) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- Esakia style duality for implicative semilattices (Q1942035) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Diego's theorem for nuclear implicative semilattices (Q2657649) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
