zbMath0547.03046MaRDI QIDQ3338248
Tadeusz Traczyk
Publication date: 1983
zbMATH Keywords
free algebra; commutative BCK-algebra; BCK-chain
Mathematics Subject Classification ID
03G25: Other algebras related to logic
06D99: Distributive lattices
Related Items