Botur, Michal; Kühr, Jan; Liu, Lianzhen; Tsinakis, Constantine The Conrad program: from \(l\)-groups to algebras of logic. (English) Zbl 1337.06006 J. Algebra 450, 173-203 (2016). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 06F05 06F15 03G10 03B47 08B15 PDF BibTeX XML Cite \textit{M. Botur} et al., J. Algebra 450, 173--203 (2016; Zbl 1337.06006) Full Text: DOI
Kühr, Jan Representable pseudo-BCK-algebras and integral residuated lattices. (English) Zbl 1140.06008 J. Algebra 317, No. 1, 354-364 (2007). Reviewer: Clint van Alten (Wits) MSC: 06F35 06F05 PDF BibTeX XML Cite \textit{J. Kühr}, J. Algebra 317, No. 1, 354--364 (2007; Zbl 1140.06008) Full Text: DOI