Publication:5453728
From MaRDI portal
zbMath1135.06305MaRDI QIDQ5453728
Publication date: 3 April 2008
06F35: BCK-algebras, BCI-algebras
03G25: Other algebras related to logic
08C15: Quasivarieties
08B99: Varieties
Related Items
Principal congruences on pseudocomplemented semilattices, Cancellation in skew lattices, Constructive logic with strong negation is a substructural logic. I, A discriminator variety of Gödel algebras with operators arising in quantum computation, Skew lattices and binary operations on functions, Associativity of the \(\nabla\)-operation on bands in rings., VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS