Functional Many-Valued Relations
-
M. E. Della Stella
and
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.013Search 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-1Search 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.006Search 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-8Search 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).Search in Google Scholar
[6] DEMIRCI, M: Fuzzy functions and their applications, J. Math. Anal Appl. 252 (2000), 495-517.10.1006/jmaa.2000.7185Search 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-2Search 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/0308107031000090765Search 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.017Search in Google Scholar
[10] DENNISTON, J. T.-MELTON, A.-RODABAUGH, S. E.: Lattice-valued predicate transformers, Chu games, and lattice-valued transformer systems. Preprint.Search in Google Scholar
[11] DIJKSTRA, E. W.: A Discipline of Programming, Prentice-Hall, Englewood, 1976.Search 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.Search 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.013Search 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.002Search 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.008Search 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.Search in Google Scholar
[17] GOGUEN, J. A.: L-fuzzy sets, J. Math. Anal. Appl. 18 (1967), 145-174.10.1016/0022-247X(67)90189-8Search in Google Scholar
[18] GUIDO, C.-TOTO, P.: Extended-order algebras, J. Appl. Log. 6 (2008), 609-626.10.1016/j.jal.2008.01.001Search 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.Search in Google Scholar
[20] JOHNSTONE, P. T.: Stone Spaces, Cambridge Univ. Press, Cambridge, 1982.Search 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.Search in Google Scholar
[22] MADDUX, R. D.: Relation Algebras. Stud. Logic Found. Math. 150, Elsevier, Amsterdam, 2006.Search in Google Scholar
[23] NOVÂK, V.: Fuzzy Sets and Their Applications, Adam Hilger, Bristol, 1989.Search 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.Search in Google Scholar
[25] WINTER, M.: Goguen categories - A categorical approach to L-fuzzy relations. Trends in Logic 25, Springer, New York, 2007.Search in Google Scholar
[26] ZADEH, L. A.: Fuzzy sets, Information and Control 8 (1965), 338-353.10.1016/S0019-9958(65)90241-XSearch 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.014Search in Google Scholar
© 2015
Articles in the same Issue
- 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
Articles in the same Issue
- 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
