Semilinear non-associative substructural logics: completeness properties and complexity

Bibliografické údaje

Autoři

• doc. Ing. Petr Cintula, Ph.D. DSc.
• RNDr. Zuzana Haniková, Ph.D.
• Rostislav Horčík

Rok vydání

2012

Typ publikace

Abstrakt

Periodikum

SLALM 2012 Abstracts

Bibliografická citace

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.

ID

377617