IIIA CSIC
Published on IIIA CSIC (http://www2.iiia.csic.es)

Inicio > Semilinear non-associative substructural logics: completeness properties and complexity

Semilinear non-associative substructural logics: completeness properties and complexity

TítuloSemilinear non-associative substructural logics: completeness properties and complexity
Publication TypeConference Paper
Year of Publication2013
AuthorsCintula P [1], Haniková Z [2], Horcík R [3], Noguera C [4]
Conference Name15th Latin American Symposium on Mathematical Logic
Volume19
Conference LocationBogotá, Colombia
Paginación418
Date Published04/06/2012

Source URL: http://www2.iiia.csic.es/es/publications/semilinear-non-associative-substructural-logics-completeness-properties-and-complexity

Enlaces
[1] http://www2.iiia.csic.es/es/staff/petr-cintula
[2] http://www2.iiia.csic.es/es/bibliography?f%5Bauthor%5D=388
[3] http://www2.iiia.csic.es/es/staff/rostislav-horc%C3%ADk
[4] http://www2.iiia.csic.es/es/staff/carles-noguera