zbMath1174.06343MaRDI QIDQ3629319
Lavinia Corina Ciungu
Publication date: 27 May 2009
zbMATH Keywords
radical; deductive system; Bosbach state; pseudo-BCK algebra; bipartite pseudo-BCK(pP) algebra; perfect pseudo-BCK(pP) algebra; strongly bipartite pseudo-BCK(pP) algebra
Mathematics Subject Classification ID
06F35: BCK-algebras, BCI-algebras
03G25: Other algebras related to logic
Related Items