Follow
Rostislav Horčík
Rostislav Horčík
Department of Computer Science, FEE, Czech Technical University in Prague
Verified email at fel.cvut.cz
Title
Cited by
Cited by
Year
On weakly cancellative fuzzy logics
F Montagna, C Noguera, R Horčík
Journal of Logic and Computation 16 (4), 423-450, 2006
692006
Product Ł ukasiewicz Logic
R Horčík, P Cintula
Archive for Mathematical Logic 43 (4), 477-503, 2004
692004
Solution of a system of linear equations with fuzzy numbers
R Horčík
Fuzzy sets and systems 159 (14), 1788-1810, 2008
612008
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
582013
The quest for the basic fuzzy logic
P Cintula, R Horčík, C Noguera
Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2014
562014
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
492007
On n ‐contractive fuzzy logics
R Horčík, C Noguera, M Petrík
Mathematical Logic Quarterly 53 (3), 268-288, 2007
472007
Standard completeness theorem for ΠMTL
R Horĉík
Archive for Mathematical Logic 44 (4), 413-424, 2005
462005
Disjunction property and complexity of substructural logics
R Horčík, K Terui
Theoretical Computer Science 412 (31), 3992-4006, 2011
392011
Algebraic semantics: Semilinear FL-algebras
R Horcık
Handbook of mathematical fuzzy logic 1, 283-353, 2011
342011
Validation sets in fuzzy logics
R Horčík, M Navara
Kybernetika 38 (3), [319]-326, 2002
292002
Full Lambek calculus with contraction is undecidable
K Chvalovský, R Horčík
The Journal of Symbolic Logic 81 (2), 524-540, 2016
252016
Double oracle algorithm for computing equilibria in continuous games
L Adam, R Horčík, T Kasl, T Kroupa
Proceedings of the AAAI Conference on Artificial Intelligence 35 (6), 5070-5077, 2021
242021
Algebraic properties of fuzzy logics
R Horcık
Czech Technical University in Prague, 2005
172005
The finite embeddability property for residuated groupoids
Z Haniková, R Horčík
Algebra universalis 72 (1), 1-13, 2014
152014
Decidability of cancellative extension of monoidal t-norm based logic
R Horčík
Logic Journal of the IGPL 14 (6), 827-843, 2006
152006
Strengthening potential heuristics with mutexes and disambiguations
D Fišer, R Horčík, A Komenda
Proceedings of the International Conference on Automated Planning and …, 2020
142020
An algebraic approach to valued constraint satisfaction
R Horcík, T Moraschini, A Vidal
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
142017
Cayley’s and Holland’s theorems for idempotent semirings and their applications to residuated lattices
N Galatos, R Horčík
Semigroup Forum 87, 569-589, 2013
132013
Alternative proof of standard completeness theorem for MTL
R Horčík
Soft Computing 11, 123-129, 2007
132007
The system can't perform the operation now. Try again later.
Articles 1–20