Personal publications
Rostislav Horcík (8 publications)
Submitted
Petr Cintula; Rostislav Horcík; Carles Noguera "Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties", Journal Article, Submitted.
Petr Cintula; Rostislav Horcík; Carles Noguera "The quest for the basic fuzzy logic", Petr Hájek on Mathematical Fuzzy Logic. Trends in Logic: Springer, Submitted.
In Press
Petr Cintula; Zuzana Haniková; Rostislav Horcík; Carles Noguera "Non-associative substructural logics: alternative axiomatization, algebraic and logical properties", 15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
Petr Cintula; Zuzana Haniková; Rostislav Horcík; Carles Noguera "Semilinear non-associative substructural logics: completeness properties and complexity", 15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
2012
Petr Cintula; Rostislav Horcík; Carles Noguera "A basic fuzzy logic which is really basic and fuzzy", Logic, Algebra and Truth Degrees 2012, Kanazawa, Japan, Japan Advanced Institute of Science and Technology, pp. 67 - 70, 10/09/2012.
2007
Rostislav Horcík; Carles Noguera; Milan Petrík "On n-contractive fuzzy logics", Mathematical Logic Quarterly, vol. 53, no. 3, pp. 268-288, 2007. Abstract
2006
Franco Montagna; Carles Noguera; Rostislav Horcík "On weakly cancellative fuzzy logics", Journal of Logic and Computation, vol. 16, no. 4, pp. 423-450, 2006. Abstract
2005
Franco Montagna; Carles Noguera; Rostislav Horcík "On weakly cancellative fuzzy logics", The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing, Ostrava, Czech Republic, Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, pp. 59 - 61, 05/10/2005.