Pages that link to "Item:Q1975163"
From MaRDI portal
The following pages link to Varieties of monadic Heyting algebras. III (Q1975163):
Displayed 9 items.
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras (Q4081295) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949) (← links)