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

Inicio > Publications > Contenido
Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties

Tipo de Publicación:

Journal Article

Autores:

Petr Cintula [1]; Rostislav Horcík [2]; Carles Noguera [3]

Origen:

Journal Article (Submitted)

Proyectos: 
MaToMUVI [7]
TASSAT [8]
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/non-associative-substructural-logics-and-their-semilinear-extensions-axiomatization-and

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