Pages that link to "Item:Q1580648"
From MaRDI portal
The following pages link to Varieties of monadic Heyting algebras. I (Q1580648):
Displaying 42 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Monadic pseudo-equality algebras (Q780197) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Varieties of monadic Heyting algebras. II: Duality theory (Q1283133) (← links)
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic (Q1697516) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Functional monadic Heyting algebras. (Q1771932) (← links)
- Monadic bounded hoops (Q1797798) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Varieties of monadic Heyting algebras. III (Q1975163) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- Monadic pseudo BE-algebras (Q2057873) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Quantifiers on L-algebras (Q2105714) (← links)
- Characterization of monadic BL-algebras by state operators (Q2144625) (← links)
- Monadic \(k\times j\)-rough Heyting algebras (Q2155492) (← links)
- Monadic classes of quantum B-algebras (Q2156961) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Synopsis of fronton theory (Q2751820) (← links)
- Construction of monadic Heyting algebra in any logos. (Q2813431) (← links)
- Mathematics of Public Announcements (Q3094007) (← links)
- Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic (Q3094027) (← links)
- (Q4511318) (← links)
- Quantum B-algebras with involutions (Q5024537) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- Monadic Distributive Lattices (Q5436991) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- Linear Heyting algebras with a quantifier (Q5935999) (← links)
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949) (← links)
- Epistemic monadic Boolean algebras (Q6562538) (← links)
- Heyting \(\kappa\)-frames (Q6597127) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)
