Pages that link to "Item:Q763330"
From MaRDI portal
The following pages link to On some compatible operations on Heyting algebras (Q763330):
Displayed 4 items.
- On congruences in weak implicative semi-lattices (Q1701818) (← links)
- Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Principal congruences in weak Heyting algebras (Q2630276) (← links)