Send to Friend
DePer


Send to Friend from IIIA

Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties

Publication Type:

Journal Article

Authors:

Petr Cintula; Rostislav Horcík; Carles Noguera

Source:

Journal Article (Submitted)