Published on IIIA (http://www.iiia.csic.es)

Home > Publications > Content
Non-associative substructural logics: alternative axiomatization, algebraic and logical properties

Publication Type:

Conference Paper

Authors:

Petr Cintula [1]; Zuzana Haniková [2]; Rostislav Horcík [3]; Carles Noguera [4]

Source:

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

Projects: 
MaToMUVI [8]
TASSAT [9]
IIIA-CSIC
Campus de la UAB, E-08193 Bellaterra, Catalonia (Spain)
Tel: (+34) 93 580 9570 - Fax: (+34) 93 580 9661
Source URL: http://www.iiia.csic.es/en/publications/non-associative-substructural-logics-alternative-axiomatization-algebraic-and-logical-p

Links:
[1] http://www.iiia.csic.es/en/individual/petr-cintula
[2] http://www.iiia.csic.es/en/node/4576
[3] http://www.iiia.csic.es/en/individual/rostislav-horcik
[4] http://www.iiia.csic.es/en/individual/carles-noguera
[5] http://www.iiia.csic.es/en/publications/export/tagged/4575
[6] http://www.iiia.csic.es/en/publications/export/xml/4575
[7] http://www.iiia.csic.es/en/publications/export/bib/4575
[8] http://www.iiia.csic.es/en/project/matomuvi
[9] http://www.iiia.csic.es/en/project/tassat