DocumentCode :
2705032
Title :
Co-stone Residuated Lattices
Author :
Muresan, Claudia
Author_Institution :
Fac. of Math. & Comput. Sci., Univ. of Bucharest, Bucharest, Romania
fYear :
2010
fDate :
26-28 May 2010
Firstpage :
104
Lastpage :
107
Abstract :
In this paper we present some applications of the reticulation of a residuated lattice, in the form of a transfer of properties between the category of bounded distributive lattices and that of residuated lattices through the reticulation functor. The results we are presenting are related to co-Stone algebras; among other applications, we transfer a known characterization of $m$-co-Stone bounded distributive lattices to residuated lattices and we prove that the reticulation functor for residuated lattices preserves the strongly co-Stone hull.
Keywords :
Application software; Boolean algebra; Computer science; Equations; Filters; Lattices; Logic; Mathematics; Stone algebras; residuated lattice; reticulation; strongly Stone hull;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Conference_Location :
Barcelona, Spain
ISSN :
0195-623X
Print_ISBN :
978-1-4244-6752-5
Type :
conf
DOI :
10.1109/ISMVL.2010.27
Filename :
5489248
Link To Document :
بازگشت