Semisimplicity and the discriminator in bounded BCK-algebras

DOI10.1007/S00012-010-0061-8MaRDI QIDQ992009zbMATH OpenOpenAlexFDO

Authors Antoni Torrens

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

bounded BCK-algebrasdiscriminator varietystrong expansionsemisimple relative subvariety

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4039901
• Bounded BCK-algebras and their generated variety
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
• On the quasivariety of BCK-algebras and its subvarieties
• scientific article; zbMATH DE number 35573

Cites work

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

Cited in

(11)

• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Semisimplicity of \(\mathcal B(E)\)
• scientific article; zbMATH DE number 3880691 (Why is no real title available?)
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
• Bounded BCK-algebras and their generated variety
• On the variety generated by bounded pseudo-BCK-algebras
• scientific article; zbMATH DE number 4039901 (Why is no real title available?)
• Semisimple varieties of modal algebras
• Semisimples in varieties of commutative integral bounded residuated lattices
• Finitely axiomatizable varieties of BCK-algebras
• Inconsistency lemmas in algebraic logic

This page was built for publication: Semisimplicity and the discriminator in bounded BCK-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q992009)