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