Pages that link to "Item:Q1237072"
From MaRDI portal
The following pages link to Equational axioms for classes of Heyting algebras (Q1237072):
Displaying 8 items.
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Endomorphisms and homomorphisms of Heyting algebras (Q1061758) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- The determination of subvarieties of certain congruence-distributive varieties (Q1337159) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras (Q4041620) (← links)
- Linear Heyting algebras with a quantifier (Q5935999) (← links)