1 research outputs found
Construction of Nelson Algebras
The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morgan algebras from distributive lattices. Necessary and sufficient conditions for these De Morgan algebras to be Nelson algebras are shown, and a characterization of the join-irreducible elements in the finite case is given.Fil: Monteiro, Luiz F.. Universidad Nacional del Sur; ArgentinaFil: Viglizzo, Ignacio Dario. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; ArgentinaXIV Congreso Dr. Antonio A. R. MonteiroBahía BlancaArgentinaUniversidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanc