English
español
Navegación por Autor Cintula, Petr
Mostrando resultados 1 a 9 de 9
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
openAccess | | 10-sep-2012 | A basic fuzzy logic which is really basic and fuzzy | Cintula, Petr; Horcik, Rostislav; Noguera, Carles CSIC ORCID | comunicación de congreso |
closedAccess | | 22-abr-2010 | A general approach to non-classical first-order logics | Cintula, Petr; Noguera, Carles CSIC ORCID | comunicación de congreso |
openAccess | | 2013 | A note on the hierarchy of algebraizable logics | Cintula, Petr; Noguera, Carles CSIC ORCID | comunicación de congreso |
openAccess | | 2009 | Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies | Cintula, Petr; Esteva, Francesc CSIC ORCID ; Gispert, Joan; Godo, Lluis CSIC ORCID ; Montagna, Franco; Noguera, Carles CSIC ORCID | artículo |
closedAccess | | 2010 | Implicational (semilinear) logics I: a new hierarchy | Cintula, Petr; Noguera, Carles CSIC ORCID | artículo |
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 |
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 |
closedAccess | | 2013 | The Proof by Cases Property and its Variants in Structural Consequence Relations | Cintula, Petr; Noguera, Carles CSIC ORCID | artículo |