Non-associative substructural logics: alternative axiomatization, algebraic and logical properties

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

NOGUERA, C., CINTULA, Petr, HANIKOVÁ, Zuzana, HORČÍK, Rostislav. Non-associative substructural logics: alternative axiomatization, algebraic and logical properties. In: SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012, S. 25.

ID

377616