Semilinear non-associative substructural logics: completeness properties and complexity
Bibliographic details
Authors
Petr Cintula, Zuzana Haniková, Rostislav Horčík, C. Noguera
Publication year
Publication type
Abstrakt
Periodical
SLALM 2012 Abstracts
Bibliographic citation
CINTULA, Petr, HANIKOVÁ, Zuzana, HORČÍK, Rostislav, NOGUERA, C. Semilinear non-associative substructural logics: completeness properties and complexity. In: SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012, S. 63.
