Abstract
We consider the problem of bonds between \(L\)-fuzzy contexts over different complete residuated lattices. For this purpose we define \((l,k)\)-connection and dual \((l,k)\)-connection – pairs of mappings between the residuated lattices based on Krupka’s results on factorizations of complete residuated lattices. We show that the bonds defined using the dual \((l,k)\)-connection have very natural properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See [12] for motivations of the present research.
- 2.
- 3.
In this section, we consistently denote dual \((l,k)\)-connections by prime, as \(\langle {\lambda ',\kappa '}\rangle \), to distinguish them from the non-dual \((l,k)\)-connections introduced in the previous section.
- 4.
In this section \(\langle {\lambda ,\kappa }\rangle \) always denotes a dual \((l,k)\)-connection.
- 5.
By \({\mathrm {proj}}_1\) and \({\mathrm {proj}}_2\) we denote projection of first and second entry of a pair, respectively; i.e. \({\mathrm {proj}}_1(\langle {a_1,a_2}\rangle ) \mapsto a_1, {\mathrm {proj}}_2(\langle {a_1,a_2}\rangle ) \mapsto a_2\).
References
Bartl, E., Belohlavek, R.: Reducing sup-t-norm and inf-residuum to a single type of fuzzy relational equations. In: 2011 Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS), pp. 1–5 (2011)
Belohlavek, R.: Fuzzy Galois connections. Math. Log. Q. 45(4), 497–504 (1999)
Belohlavek, R.: Optimal decompositions of matrices with entries from residuated lattices. J. Log. Comput. (2011)
Belohlavek, R.: Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences. Fuzzy Sets Syst. 197, 45–58 (2012)
Belohlavek, R., Vychodil, V.: What is a fuzzy concept lattice? In: Proceedings of CLA 2005, 3rd International Conference on Concept Lattices and Their Applications, pp. 34–45 (2005)
Belohlavek, R., Vychodil, V.: Residuated lattices of size\(\,\leqslant \,\)12. Order 27(2), 147–161 (2010)
Kohout, L.J., Bandler, W.: Relational-product architectures for information processing. Inf. Sci. 37(1–3), 25–37 (1985)
Konecny, J.: Antitone L-bonds. In: IPMU, pp. 71–80 (2014)
Konecny, J., Ojeda-Aciego, M.: Isotone L-bonds. In: Ojeda-Aciego, M., Outrata, J., (eds.) CLA. CEUR Workshop Proceedings, vol. 1062, pp. 153–162 (2013). CEUR-WS.org
Krajči, S.: A generalized concept lattice. Log. J. IGPL 13(5), 543–550 (2005)
Krídlo, O., Krajči, S., Ojeda-Aciego, M.: The category of L-chu correspondences and the structure of L-bonds. Fundam. Inform. 115(4), 297–325 (2012)
Kridlo, O., Ojeda-Aciego, M.: CRL-chu correspondences. In: Ojeda-Aciego, M., Outrata, J., (eds.) CLA. CEUR Workshop Proceedings, vol. 1062, pp. 105–116 (2013). CEUR-WS.org
Krupka, M.: Factorization of residuated lattices. Log. J. IGPL 17(2), 205–223 (2009)
Medina, J., Ojeda-Aciego, M., Ruiz-Calviño, J.: Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets Syst. 160(2), 130–144 (2009)
Pollandt, S.: Fuzzy Begriffe: Formale Begriffsanalyse von unscharfen Daten. Springer, Heidelberg (1997)
Acknowledgments
The author thanks to Ondrej Kridlo for valuable consultations.
Supported by grant No. 15-17899S, “Decompositions of Matrices with Boolean and Ordinal Data: Theory and Algorithms", of the Czech Science Foundation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Konecny, J. (2015). Bonds Between \(L\)-Fuzzy Contexts Over Different Structures of Truth-Degrees. In: Baixeries, J., Sacarea, C., Ojeda-Aciego, M. (eds) Formal Concept Analysis. ICFCA 2015. Lecture Notes in Computer Science(), vol 9113. Springer, Cham. https://doi.org/10.1007/978-3-319-19545-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-19545-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19544-5
Online ISBN: 978-3-319-19545-2
eBook Packages: Computer ScienceComputer Science (R0)