Publicaciones

Non-associative substructural logics: alternative axiomatization, algebraic and logical properties

Tipo de Publicación:

Conference Paper

Origen:

15th Latin American Symposium on Mathematical Logic, Bogotá, Colombia (En prensa)

Proyectos: