Pages that link to "Item:Q1283133"
From MaRDI portal
The following pages link to Varieties of monadic Heyting algebras. II: Duality theory (Q1283133):
Displaying 27 items.
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← 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)
- Heyting algebras with dual pseudocomplementation (Q1061157) (← links)
- Varieties of monadic Heyting algebras. I (Q1580648) (← links)
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev (Q1722781) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Varieties of monadic Heyting algebras. III (Q1975163) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Monadic \(k\times j\)-rough Heyting algebras (Q2155492) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Synopsis of fronton theory (Q2751820) (← links)
- Construction of monadic Heyting algebra in any logos. (Q2813431) (← links)
- Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic (Q3094027) (← links)
- (Q4511318) (← links)
- DEDEKIND COMPLETIONS OF BOUNDED ARCHIMEDEAN ℓ-ALGEBRAS (Q4904445) (← links)
- Monadic Distributive Lattices (Q5436991) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949) (← links)
