Rostislav Horcík | IIIA CSIC

Position:

Co-Autors

Publications
Projects

8 Publications

2015

Petr Cintula, Rostislav Horcík, Carles Noguera; The quest for the basic fuzzy logic. Petr Hájek on Mathematical Fuzzy Logic; 2015.

2013

Petr Cintula, Rostislav Horcík, Carles Noguera; Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties. Review of Symbolic Logic; 2013.

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; 2013.

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; 2013.

2012

Petr Cintula, Rostislav Horcík, Carles Noguera; A basic fuzzy logic which is really basic and fuzzy. Logic, Algebra and Truth Degrees 2012; 2012.

2007

Rostislav Horcík, Carles Noguera, Milan Petrík; On n-contractive fuzzy logics. Mathematical Logic Quarterly; 2007.

2006

Franco Montagna, Carles Noguera, Rostislav Horcík; On weakly cancellative fuzzy logics. Journal of Logic and Computation; 2006.

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; 2005.

No results found