HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS

DOI10.1515/DEMA-1996-0113zbMath0856.06013OpenAlexW2784242421MaRDI QIDQ4892773

Teo Sturm, James 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

zbMATH Keywords

BCK-algebrasvarietyquasivarietyalgebraic counterpart of a purely implicational calculushereditary subalgebra propertysubcalculi

Mathematics Subject Classification ID

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

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