Rostislav Horcík Residuated fuzzy logics with additional connectives and their validation sets. [Citation Graph (0, 0)][DBLP] Fuzzy Sets and Systems, 2004, v:143, n:1, pp:75-87 [Journal]
Rostislav Horcík On the failure of standard completeness in PiMTL for infinite theories. [Citation Graph (0, 0)][DBLP] Fuzzy Sets and Systems, 2007, v:158, n:6, pp:619-624 [Journal]
Rostislav Horcík Decidability of Cancellative Extension of Monoidal T-norm Based Logic. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2006, v:14, n:6, pp:827-843 [Journal]