Publicaciones

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

Tipo de Publicación:

Journal Article

Origen:

Review of Symbolic Logic (En prensa)

Proyectos: