Título | Semilinear non-associative substructural logics: completeness properties and complexity |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Cintula P [1], Haniková Z [2], Horcík R [3], Noguera C [4] |
Conference Name | 15th Latin American Symposium on Mathematical Logic |
Volume | 19 |
Conference Location | Bogotá, Colombia |
Paginación | 418 |
Date Published | 04/06/2012 |