Semi-Boolean lattices
From MaRDI portal
Publication:2536070
Cited in
(8)- Subdirect products of totally ordered BCK-algebras
- On the structure of varieties with equationally definable principal congruences. I
- Basic hoops: an algebraic study of continuous t-norms
- Semi-Heyting algebras and identities of associative type
- Implicative Homomorphisms with Finite Ranges
- Categorical-algebraic aspects of Heyting semilattices
- Irreducibility in implicative semilattices
- Applying relation algebra and RelView to solve problems on orders and lattices
This page was built for publication: Semi-Boolean lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2536070)