| 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 | 66 | 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 |
| 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 | 45 | 2007 |
| Standard completeness theorem for ΠMTL R Horĉík Archive for Mathematical Logic 44 (4), 413-424, 2005 | 44 | 2005 |
| The quest for the basic fuzzy logic P Cintula, R Horčík, C Noguera Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2015 | 43 | 2015 |
| 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 | 43 | 2013 |
| On n ‐contractive fuzzy logics R Horčík, C Noguera, M Petrík Mathematical Logic Quarterly 53 (3), 268-288, 2007 | 39 | 2007 |
| Disjunction property and complexity of substructural logics R Horčík, K Terui Theoretical Computer Science 412 (31), 3992-4006, 2011 | 37 | 2011 |
| 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 | 28 | 2011 |
| Full lambek calculus with contraction is undecidable K Chvalovský, R Horčík The Journal of Symbolic Logic 81 (2), 524-540, 2016 | 16 | 2016 |
| Algebraic properties of fuzzy logics R Horcık Czech Technical University in Prague, 2005 | 16 | 2005 |
| 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 | 13 | 2017 |
| Decidability of cancellative extension of monoidal t-norm based logic R Horčík Logic Journal of the IGPL 14 (6), 827-843, 2006 | 13 | 2006 |
| 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 |
| 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 |
Petr CintulaInstitute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
