Send to Friend
DePer


Send to Friend from IIIA

Semilinear non-associative substructural logics: completeness properties and complexity

Publication Type:

Conference Paper

Authors:

Petr Cintula; Zuzana Haniková; Rostislav Horcík; Carles Noguera

Source:

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