Rostislav Horčík
Rostislav Horčík
Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in
Verified email at fel.cvut.cz
Title
Cited by
Cited by
Year
Product Ł ukasiewicz Logic
R Horčík, P Cintula
Archive for Mathematical Logic 43 (4), 477-503, 2004
672004
On weakly cancellative fuzzy logics
F Montagna, C Noguera, R Horčík
Journal of Logic and Computation 16 (4), 423-450, 2006
622006
Solution of a system of linear equations with fuzzy numbers
R Horčík
Fuzzy sets and systems 159 (14), 1788-1810, 2008
562008
Standard completeness theorem for ΠMTL
R Horĉík
Archive for Mathematical Logic 44 (4), 413-424, 2005
442005
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
432007
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
382013
On n ‐contractive fuzzy logics
R Horčík, C Noguera, M Petrík
Mathematical Logic Quarterly 53 (3), 268-288, 2007
362007
Disjunction property and complexity of substructural logics
R Horčík, K Terui
Theoretical Computer Science 412 (31), 3992-4006, 2011
342011
The quest for the basic fuzzy logic
P Cintula, R Horčík, C Noguera
Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2015
332015
Validation sets in fuzzy logics
R Horčík, M Navara
Kybernetika 38 (3), [319]-326, 2002
292002
Algebraic semantics
R Horcık
Handbook of mathematical fuzzy logic, 283-353, 2011
222011
Algebraic properties of fuzzy logics
R Horcık
Czech Technical University in Prague, 2005
152005
Full lambek calculus with contraction is undecidable
K Chvalovský, R Horčík
The Journal of Symbolic Logic 81 (2), 524-540, 2016
142016
The finite embeddability property for residuated groupoids
Z Haniková, R Horčík
Algebra universalis 72 (1), 1-13, 2014
142014
An algebraic approach to valued constraint satisfaction
R Horcík, T Moraschini, A Vidal
Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017
122017
On the failure of standard completeness in ΠMTL for infinite theories
R Horčík
Fuzzy Sets and Systems 158 (6), 619-624, 2007
122007
Alternative proof of standard completeness theorem for MTL
R Horčík
Soft Computing 11 (2), 123-129, 2007
122007
Decidability of cancellative extension of monoidal t-norm based logic
R Horčík
Logic Journal of the IGPL 14 (6), 827-843, 2006
122006
Word problem for knotted residuated lattices
R Horčík
Journal of Pure and Applied Algebra 219 (5), 1548-1563, 2015
112015
Structure of commutative cancellative integral residuated lattices on (0, 1
R Horčík
Algebra universalis 57 (3), 303-332, 2007
112007
The system can't perform the operation now. Try again later.
Articles 1–20