Semilinear non-associative substructural logics: completeness properties and complexity.
Petr Cintula, Zuzana Haniková, Rostislav Horčı́k, Carles Noguera · DIGITAL.CSIC (Spanish National Research Council (CSIC)) · 2013
P. Cintula was supported by grant No. P202/12/G061 of the Czech Science Foundation. Z. Hanikov´a and R. Horˇc´ık were supported by grants No. P202/12/G061 and No. P202/11/1632 of the Czech Science Foundation. C. Noguera was supported by research contract ‘Juan de la Cierva’ JCI-2009-05453, the MICINN project TASSAT (TIN2010-20967-C04-01) and the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009-247584).