Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Rostislav Horcík
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Rostislav Horcík
Rostislav Horcík
Current staff
Former staff
Rostislav Horcík
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.
Download PDF
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.
Download PDF
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.
Download PDF
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.
Download PDF
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.
Download PDF
2007
Rostislav Horcík
,
Carles Noguera
,
Milan Petrík
;
On n-contractive fuzzy logics
.
Mathematical Logic Quarterly;
2007.
Download PDF
2006
Franco Montagna
,
Carles Noguera
,
Rostislav Horcík
;
On weakly cancellative fuzzy logics
.
Journal of Logic and Computation;
2006.
Download PDF
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.
Download PDF
No results found