Semisimplicity and the discriminator in bounded BCK-algebras

DOI10.1007/S00012-010-0061-8zbMATH Open1201.06015OpenAlexW2006766521MaRDI QIDQ992009FDOQ992009

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

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

zbMATH Keywords

bounded BCK-algebrasdiscriminator varietystrong expansionsemisimple relative subvariety

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Semisimple varieties of modal algebras
• On the variety generated by bounded pseudo-BCK-algebras
• Bounded BCK-algebras and their generated variety
• Semisimplicity of \(\mathcal B(E)\)
• Inconsistency lemmas in algebraic logic
• Semisimples in varieties of commutative integral bounded residuated lattices
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
• Finitely axiomatizable varieties of BCK-algebras
• Semisimplicity, EDPC and discriminator varieties of residuated lattices

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)