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

Inici > Publications > Contingut
Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties

Publication Type:

Journal Article

Authors:

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

Source:

Journal Article (Submitted)

Projectes: 
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/ca/publications/non-associative-substructural-logics-and-their-semilinear-extensions-axiomatization-and

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