Product Ł ukasiewicz Logic R Horčík, P Cintula Archive for Mathematical Logic 43 (4), 477-503, 2004 | 67 | 2004 |

On weakly cancellative fuzzy logics F Montagna, C Noguera, R Horčík Journal of Logic and Computation 16 (4), 423-450, 2006 | 62 | 2006 |

Solution of a system of linear equations with fuzzy numbers R Horčík Fuzzy sets and systems 159 (14), 1788-1810, 2008 | 56 | 2008 |

Standard completeness theorem for ΠMTL R Horĉík Archive for Mathematical Logic 44 (4), 413-424, 2005 | 44 | 2005 |

Formal systems of fuzzy logic and their fragments P Cintula, P Hájek, R Horčík Annals of Pure and Applied Logic 150 (1-3), 40-65, 2007 | 43 | 2007 |

Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties P Cintula, R Horčík, C Noguera The Review of Symbolic Logic 6 (3), 394-423, 2013 | 38 | 2013 |

On *n* ‐contractive fuzzy logicsR Horčík, C Noguera, M Petrík Mathematical Logic Quarterly 53 (3), 268-288, 2007 | 36 | 2007 |

Disjunction property and complexity of substructural logics R Horčík, K Terui Theoretical Computer Science 412 (31), 3992-4006, 2011 | 34 | 2011 |

The quest for the basic fuzzy logic P Cintula, R Horčík, C Noguera Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2015 | 33 | 2015 |

Validation sets in fuzzy logics R Horčík, M Navara Kybernetika 38 (3), [319]-326, 2002 | 29 | 2002 |

Algebraic semantics R Horcık Handbook of mathematical fuzzy logic, 283-353, 2011 | 22 | 2011 |

Algebraic properties of fuzzy logics R Horcık Czech Technical University in Prague, 2005 | 15 | 2005 |

Full lambek calculus with contraction is undecidable K Chvalovský, R Horčík The Journal of Symbolic Logic 81 (2), 524-540, 2016 | 14 | 2016 |

The finite embeddability property for residuated groupoids Z Haniková, R Horčík Algebra universalis 72 (1), 1-13, 2014 | 14 | 2014 |

An algebraic approach to valued constraint satisfaction R Horcík, T Moraschini, A Vidal Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 | 12 | 2017 |

On the failure of standard completeness in ΠMTL for infinite theories R Horčík Fuzzy Sets and Systems 158 (6), 619-624, 2007 | 12 | 2007 |

Alternative proof of standard completeness theorem for MTL R Horčík Soft Computing 11 (2), 123-129, 2007 | 12 | 2007 |

Decidability of cancellative extension of monoidal t-norm based logic R Horčík Logic Journal of the IGPL 14 (6), 827-843, 2006 | 12 | 2006 |

Word problem for knotted residuated lattices R Horčík Journal of Pure and Applied Algebra 219 (5), 1548-1563, 2015 | 11 | 2015 |

Structure of commutative cancellative integral residuated lattices on (0, 1 R Horčík Algebra universalis 57 (3), 303-332, 2007 | 11 | 2007 |