Publicat el IIIA (http://www.iiia.csic.es)

Inici > Publications > Contingut
Semilinear non-associative substructural logics: completeness properties and complexity

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)

Projectes: 
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/ca/publications/semilinear-non-associative-substructural-logics-completeness-properties-and-complexity

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