Pages that link to "Item:Q1283133"
From MaRDI portal
The following pages link to Varieties of monadic Heyting algebras. II: Duality theory (Q1283133):
Displayed 9 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Profinite Heyting algebras (Q953270) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic (Q3094027) (← links)
- DEDEKIND COMPLETIONS OF BOUNDED ARCHIMEDEAN ℓ-ALGEBRAS (Q4904445) (← links)