Semisimplicity and the discriminator in bounded BCK-algebras
The purpose of this paper is to characterize certain types of subclasses of the class bBCK of bounded BCK-algebras. The first main theorem of the article states that a relative subvariety \(V\) of bBCK is semisimple iff it satisfies a certain sequence of arithmetic properties, and, moreover, in this case, \(V\) is a variety. The second main theorem of the article states that, given a relative subvariety \(V\) of bBCK, the following equivalences hold: \(V\) is a discriminator variety iff \(V\) is semisimple and congruence-permutable iff \(V\) is a semisimple relative subvariety of involutive BCK-algebras. The author also extends these two main theorems to strong expansions of bBCK and concludes by an example of an involutive BCK-algebra that is not congruence-permutable.
- 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
- Algebraizable logics
- An approach to Glivenko's theorem in algebraizable logics
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- 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
- 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?)
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
- On the quasivariety of BCK-algebras and its subvarieties
- On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
- 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
- Finitely axiomatizable varieties of BCK-algebras
- Semisimplicity of \(\mathcal B(E)\)
- Semisimplicity, EDPC and discriminator varieties of residuated lattices
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
- Semisimple varieties of modal algebras
- Semisimples in varieties of commutative integral bounded residuated lattices
- scientific article; zbMATH DE number 3880691 (Why is no real title available?)
- Bounded BCK-algebras and their generated variety
- scientific article; zbMATH DE number 4039901 (Why is no real title available?)
- Inconsistency lemmas in algebraic logic
- On the variety generated by bounded pseudo-BCK-algebras
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)
