Rostislav Horcík (8 publications)
Submitted
"Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties",
Journal Article, Submitted.
"The quest for the basic fuzzy logic",
Petr Hájek on Mathematical Fuzzy Logic. Trends in Logic: Springer, Submitted.
In Press
"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.
"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
"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
"On n-contractive fuzzy logics",
Mathematical Logic Quarterly, vol. 53, no. 3, pp. 268-288, 2007.
Abstract
2006
"On weakly cancellative fuzzy logics",
Journal of Logic and Computation, vol. 16, no. 4, pp. 423-450, 2006.
Abstract
2005
"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.
