HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS

DOI10.1515/DEMA-1996-0113MaRDI QIDQ4892773zbMATH OpenOpenAlexFDO

Authors Teo Sturm, J. G. Raftery

Publication date 24 February 1997

Published in Demonstratio Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1515/dema-1996-0113

zbMATH Keywords

algebraic counterpart of a purely implicational calculusBCK-algebrashereditary subalgebra propertyquasivarietysubcalculivariety

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Recommendations

• On the quasivariety of BCK-algebras and its subvarieties
• On class of subalgebras of bounded BCK-algebras
• scientific article; zbMATH DE number 4160806
• Subdirect products of totally ordered BCK-algebras
• scientific article; zbMATH DE number 3908432

Cited in

(3)

• Bocses corresponding to the hereditary algebras of tame type. I
• scientific article; zbMATH DE number 6310629 (Why is no real title available?)
• Characterizations of hereditary and full hereditary JB-subalgebras

This page was built for publication: HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS

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