Pages that link to "Item:Q1954013"
From MaRDI portal
The following pages link to On Heyting algebras and dual BCK-algebras (Q1954013):
Displaying 8 items.
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Heyting algebras with dual pseudocomplementation (Q1061157) (← links)
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev (Q1722781) (← links)
- A Heyting algebra on Dyck paths of type \(A\) and \(B\) (Q2407687) (← links)
- On dual theorem in involutory BCK-algebras (Q2709939) (← links)
- Relations between lattice implication algebras and BCK algebras. (Q2793296) (← links)
- Natural continuity space structures on dual Heyting algebras (Q3348956) (← links)
- On derivations and generalized derivations of bitonic algebras (Q5155700) (← links)