zbMath0545.03042MaRDI QIDQ3335784
Martin W. Bunder
Publication date: 1983
zbMATH Keywords
weak subsystems of BCK algebra
Mathematics Subject Classification ID
03G25: Other algebras related to logic
06D99: Distributive lattices