English
español
Navegación por Autor Cintula, Petr
Mostrando resultados 6 a 9 de 9
< 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 | |
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 |