Pages that link to "Item:Q1771932"
From MaRDI portal
The following pages link to Functional monadic Heyting algebras. (Q1771932):
Displaying 14 items.
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Varieties of monadic Heyting algebras. I (Q1580648) (← links)
- The convolution algebra (Q1652865) (← links)
- Algebras of Lawson monads. (Q1776039) (← 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)
- Monadic classes of quantum B-algebras (Q2156961) (← links)
- Heyting algebras with operators (Q2720324) (← links)
- (Q4511318) (← links)
- Quantum B-algebras with involutions (Q5024537) (← links)
- Quantum monadic algebras (Q5876988) (← links)
- Heyting \(\kappa\)-frames (Q6597127) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)