Actas VII Congreso Monteiroinmabb.conicet.gob.ar/static/publicaciones/actas/7/08...ism), residuated...
10
Actas VII Congreso Monteiroinmabb.conicet.gob.ar/static/publicaciones/actas/7/08...ism), residuated lattices (corresponding to logics without contraction rule [13]), BL-algebras (corresponding