Send to Friend
DePara


Send to Friend from IIIA

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

Tipo de Publicación:

Journal Article

Origen:

Journal Article (Submitted)