English
español
Navegación por Autor Horcik, Rostislav
Mostrando resultados 3 a 6 de 6
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 2013 | Non-associative substructural logics: alternative axiomatization, algebraic and logical properties | Cintula, Petr; Haniková, Zuzana; Horcik, Rostislav; Noguera, Carles CSIC ORCID | comunicación de congreso | |
openAccess | 2013 | Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties | Cintula, Petr; Horcik, Rostislav; Noguera, Carles CSIC ORCID | artículo | |
closedAccess | 2006 | On weakly cancellative fuzzy logics | Montagna, Franco; Noguera, Carles CSIC ORCID; Horcik, Rostislav | artículo | |
openAccess | 2013 | Semilinear non-associative substructural logics: completeness properties and complexity. | Cintula, Petr; Haniková, Zuzana; Horcik, Rostislav; Noguera, Carles CSIC ORCID | comunicación de congreso |