Publicacions

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

Publication Type:

Conference Paper

Authors:

Petr Cintula; Zuzana Haniková; Rostislav Horcík; Carles Noguera

Source:

15th Latin American Symposium on Mathematical Logic, Bogotá, Colombia (In Press)

Projectes: 
MaToMUVI
TASSAT
»