Semisimplicity and the discriminator in bounded BCK-algebras

DOI10.1007/s00012-010-0061-8zbMath1201.06015OpenAlexW2006766521MaRDI QIDQ992009

Antoni Torrens Torrell

Publication date: 8 September 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-010-0061-8

zbMATH Keywords

discriminator varietybounded BCK-algebrasstrong expansionsemisimple relative subvariety

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Varieties (08B99)

Related Items

Semisimples in varieties of commutative integral bounded residuated lattices ⋮ Inconsistency lemmas in algebraic logic

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• An approach to Glivenko's theorem in algebraizable logics
• Boolean representation of bounded BCK-algebras
• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
• On the quasivariety of BCK-algebras and its subvarieties
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• On varieties of biresiduation algebras
• Bounded BCK-algebras and their generated variety
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
• Algebraizable logics
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Glivenko like theorems in natural expansions of BCK-logic
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item