Factorization of residuated lattices
Logic Journal of the IGPL 17 (2):205-223 (2009)
Abstract
We discuss the problem of factorization of residuated lattices by similarity relations. As the main result, we introduce a natural structure of residuated lattice on factorized residuated lattice. Some consequences are also discussed: the problem of representatives and factor projections, sequential factorization, application to fuzzy sets, application to factorization of concept lattices of data with fuzzy attributesDOI
10.1093/jigpal/jzp004
My notes
Similar books and articles
Compatible Operations on Residuated Lattices.J. L. Castiglioni & H. J. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
Every Free Biresiduated Lattice is Semisimple.H. Takamura - 2003 - Reports on Mathematical Logic:125-133.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices.Bin Zhao & Hongjun Zhou - 2013 - Archive for Mathematical Logic 52 (7-8):689-706.
Similarity Convergence in Residuated Structures.George Georgescu & Andrei Popescu - 2005 - Logic Journal of the IGPL 13 (4):389-413.
Commutative integral bounded residuated lattices with an added involution.Roberto Cignoli & Francesc Esteva - 2010 - Annals of Pure and Applied Logic 161 (2):150-160.
Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.D. Castaño, J. P. Díaz Varela & A. Torrens - 2011 - Studia Logica 98 (1-2):223-235.
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras.Thomas Vetterlein - 2008 - Mathematical Logic Quarterly 54 (4):350-367.
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
Generalized Bosbach states: part I. [REVIEW]Lavinia Corina Ciungu, George Georgescu & Claudia Mureşan - 2013 - Archive for Mathematical Logic 52 (3-4):335-376.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Remarks on an algebraic semantics for paraconsistent Nelson's logic.Manuela Busaniche & Roberto Cignoli - 2011 - Manuscrito 34 (1):99-114.
Analytics
Added to PP
2015-02-04
Downloads
2 (#1,403,656)
6 months
1 (#455,921)
2015-02-04
Downloads
2 (#1,403,656)
6 months
1 (#455,921)
Historical graph of downloads
