Deadline: 
26 Julio 2018
Institution: 
Centre of Logic, Epistemology and History of Science (CLE), University of Campinas
Department: 
Departamento de Razonamiento y Lógica
Speaker: 
Rodolfo C. Ertola Biraben

We prove that the class of meet-negated lattices expanded with the greatest regular below, which is right adjoint of the double meet-negation, is an equational class satisfying the Stone equality. It is also the case that the class of distributive meet-negated lattices with the greatest regular below is the same as the class of Stone distributive meet-negated lattices with the greatest Boolean below.