| 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 |
