Functional Many-Valued Relations
-
M. E. Della Stella
und
C. Guido
Abstract
Many-valued binary relations are considered, taking values in a complete lattice, possibly equipped with additional operations that characterize extended-order algebras. The functionality of such relations is defined, by means of properties such as univocality and totality, from three different perspectives, namely from the viewpoint of α-cuts, of composition and of powerset operators, respectively.
Functional many-valued relations are generalizations of functions and special care is devoted to characterize those which are actually functions. Relationships between the involved concepts are discussed with several results and examples.
References
[1] BĚHOUNEK, L.-DAŇKOVÁ, M.: Relational compositions in Fuzzy Class Theory, Fuzzy Sets and Systems 160 (2009), 1005-1036.10.1016/j.fss.2008.06.013Suche in Google Scholar
[2] BĚLOHLÁVEK, R.: Fuzzy Relational Systems: Foundations and Principles, IFSR International Series on Systems Science and Engineering, Vol. 20, Kluwer Academic/Plenum Press, Dordrecht/NewYork, 2002.10.1007/978-1-4615-0633-1Suche in Google Scholar
[3] CIRIC, M.-IGNJATOVIC, J.-BOGDANOVIC, S.: Uniform fuzzy relations and fuzzy functions, Fuzzy Sets and Systems 160 (2009), 1054-1081.10.1016/j.fss.2008.07.006Suche in Google Scholar
[4] DELLA STELLA, M. E.-GUIDO, C.: Associativity, commutativity and symmetry in residuated structures, Order 30 (2013), 363-401. doi: 10.1007/s11083-012-9250-8.10.1007/s11083-012-9250-8Suche in Google Scholar
[5] DELLA STELLA, M. E.-GUIDO, C.: L-relations and Galois triangles. In: Algebraic Semantics for Uncertainty and Vagueness, http://logica.dmi.unisa.it/AlgebraicSemantics2011 (Abstract and slides).Suche in Google Scholar
[6] DEMIRCI, M: Fuzzy functions and their applications, J. Math. Anal Appl. 252 (2000), 495-517.10.1006/jmaa.2000.7185Suche in Google Scholar
[7] DEMIRCI, M.: Constructions of fuzzy functions based on fuzzy equalities, Soft Comput. 7 (2003), 199-207.10.1007/s00500-002-0198-2Suche in Google Scholar
[8] DEMIRCI, M: Foundations of fuzzy functions and vague algebra based on many-valued equivalence relations. Part I: fuzzy functions and their applications, Int. J. Gen. Syst. 32 (2003), 123-155.10.1080/0308107031000090765Suche in Google Scholar
[9] DEMIRCI, M.: A theory of vague lattices based on many-valued equivalence relations - I: general representation results, Fuzzy Sets and Systems 151 (2005), 437-472.10.1016/j.fss.2004.06.017Suche in Google Scholar
[10] DENNISTON, J. T.-MELTON, A.-RODABAUGH, S. E.: Lattice-valued predicate transformers, Chu games, and lattice-valued transformer systems. Preprint.Suche in Google Scholar
[11] DIJKSTRA, E. W.: A Discipline of Programming, Prentice-Hall, Englewood, 1976.Suche in Google Scholar
[12] EILENBERG, S.-KELLY, G. M.: Closed categories. In: Proceedings of the Conference on Categorical Algebra (la Jolla, 1965) (S. Eilenberg, D. K. Harrison, eds.), Springer, Berlin, 1966, pp. 421-562.Suche in Google Scholar
[13] FRASCELLA, A.: Fuzzy Galois connections under weak conditions, Fuzzy Sets and Systems 172 (2011), 33-50.10.1016/j.fss.2010.09.013Suche in Google Scholar
[14] FRASCELLA, A.-GUIDO, C.: Transporting many-valued sets along many-valued relations, Fuzzy Sets and Systems 159 (2008), 1-22.10.1016/j.fss.2007.08.002Suche in Google Scholar
[15] FURUSAWA, H.-KAWAHARA, Y.-WINTER, M.: Dedekind categories with Cutoff operators, Fuzzy Sets and Systems 173 (2011), 1-24.10.1016/j.fss.2010.11.008Suche in Google Scholar
[16] GALATOS, N.-JIPSEN, P.-KOWALSKI, T.-ONO, H.: Residuated lattices: An algebraic glimpse at substructural logics. Stud. Logic Found. Math. 151, Elsevier, Amsterdam, 2007.Suche in Google Scholar
[17] GOGUEN, J. A.: L-fuzzy sets, J. Math. Anal. Appl. 18 (1967), 145-174.10.1016/0022-247X(67)90189-8Suche in Google Scholar
[18] GUIDO, C.-TOTO, P.: Extended-order algebras, J. Appl. Log. 6 (2008), 609-626.10.1016/j.jal.2008.01.001Suche in Google Scholar
[19] JIPSEN, P.-TSINAKIS, C.: A survey of residuated lattices. In: Ordered Algebraic Structures (J. Martinez, ed.), Kluwer Academic Publishers, Dordrecht, 2002, pp. 19-56.Suche in Google Scholar
[20] JOHNSTONE, P. T.: Stone Spaces, Cambridge Univ. Press, Cambridge, 1982.Suche in Google Scholar
[21] KLAWONN, F.: Fuzzy points, fuzzy relations and fuzzy functions. In: Discovering World with Fuzzy Logic (V. Novâk, I. Perfilieva, eds.), Physica-Verlag, Heidelberg, 2000, pp. 431-453.Suche in Google Scholar
[22] MADDUX, R. D.: Relation Algebras. Stud. Logic Found. Math. 150, Elsevier, Amsterdam, 2006.Suche in Google Scholar
[23] NOVÂK, V.: Fuzzy Sets and Their Applications, Adam Hilger, Bristol, 1989.Suche in Google Scholar
[24] OLIVIER, J. P.-SERRATO, D.: Catégories de Dedekind. Morphismes dans les catégories de Schröder, C. R. Math. Acad. Sci. Paris 290 (1980), 939-941.Suche in Google Scholar
[25] WINTER, M.: Goguen categories - A categorical approach to L-fuzzy relations. Trends in Logic 25, Springer, New York, 2007.Suche in Google Scholar
[26] ZADEH, L. A.: Fuzzy sets, Information and Control 8 (1965), 338-353.10.1016/S0019-9958(65)90241-XSuche in Google Scholar
[27] ZHANG, D.: Implication structures, fuzzy subsets, and enriched categories, Fuzzy Sets and Systems 161 (2010), 1205-1223. 10.1016/j.fss.2009.09.014Suche in Google Scholar
© 2015
Artikel in diesem Heft
- Editorial. Many-Valued Logic ’12
- Antonio Di Nola
- On the Modal μ-Calculus Over Finite Symmetric Graphs
- A Note on Saturated Models for Many-Valued Logics
- ℍ-Perfect Pseudo MV-Algebras and Their Representations
- Some Notes on Elimination Properties for The Theory of Riesz MV-Chains
- The Riesz Hull of a Semisimple MV-Algebra
- The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices
- The Chinese Remainder Theorem for Strongly Semisimple MV-Algebras and Lattice-Groups
- Algebraically Closed Abelian l-Groups
- Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P
- Functional Many-Valued Relations
Artikel in diesem Heft
- Editorial. Many-Valued Logic ’12
- Antonio Di Nola
- On the Modal μ-Calculus Over Finite Symmetric Graphs
- A Note on Saturated Models for Many-Valued Logics
- ℍ-Perfect Pseudo MV-Algebras and Their Representations
- Some Notes on Elimination Properties for The Theory of Riesz MV-Chains
- The Riesz Hull of a Semisimple MV-Algebra
- The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices
- The Chinese Remainder Theorem for Strongly Semisimple MV-Algebras and Lattice-Groups
- Algebraically Closed Abelian l-Groups
- Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P
- Functional Many-Valued Relations
