scientific article; zbMATH DE number 2145493

zbMath1061.06032MaRDI QIDQ4657796

R. J. Bignall, Matthew Spinks

Publication date: 14 March 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quasivarietysubdirectly irreducible algebrasskew Boolean algebraselementary theoryfinite axiomatisationimplicative BCK-algebrasbinary discriminator varietiesimplicative BCS-algebras

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Quasivarieties (08C15) Varieties (08B99)

Related Items (6)

Cancellation in skew lattices ⋮ Skew lattices and binary operations on functions ⋮ VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS ⋮ Associativity of the \(\nabla\)-operation on bands in rings. ⋮ My journey into noncommutative lattices and their theory ⋮ Dual binary discriminator varieties

This page was built for publication: