Publicado en IIIA (http://www.iiia.csic.es)

Inicio > Publications > Contenido
Semilinear non-associative substructural logics: completeness properties and complexity

Tipo de Publicación:

Conference Paper

Autores:

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

Origen:

15th Latin American Symposium on Mathematical Logic, Bogotá, Colombia (En prensa)

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

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