HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS

DOI10.1515/DEMA-1996-0113zbMATH Open0856.06013OpenAlexW2784242421MaRDI QIDQ4892773FDOQ4892773

Authors: Teo Sturm, J. G. Raftery 

Publication date: 24 February 1997

Published in: Demonstratio Mathematica (Search for Journal in Brave)

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

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

zbMATH Keywords

varietyquasivarietyBCK-algebrasalgebraic counterpart of a purely implicational calculushereditary subalgebra propertysubcalculi

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Bocses corresponding to the hereditary algebras of tame type. I
• 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)