Abstract
The theory of Formal Concept Analysis (FCA) has been recently related to the formalization of quantum logics in terms of the Chu construction. On the other hand, the mathematical formalization of FCA is done in terms of Galois connections. In this paper, we focus on the relational generalization of the notion of Galois connection.
Partially supported by the Spanish research projects TIN15-70266-C2-P-1, PGC2018-095869-B-I00 and TIN2017-89023-P of the Science and Innovation Ministry of Spain and the European Social Fund.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abramsky, S.: Big toy models: representing physical systems as Chu spaces. Synthese 186(3), 697–718 (2012)
Abramsky, S.: Coalgebras, Chu spaces, and representations of physical systems. J. Philos. Log. 42(3), 551–574 (2013)
Antoni, L., Krajči, S., Krídlo, O.: Representation of fuzzy subsets by Galois connections. Fuzzy Sets Syst. 326, 52–68 (2017)
Cabrera, I.P., Cordero, P., García-Pardo, F., Ojeda-Aciego, M., De Baets, B.: On the construction of adjunctions between a fuzzy preposet and an unstructured set. Fuzzy Sets Syst. 320, 81–92 (2017)
Cabrera, I.P., Cordero, P., García-Pardo, F., Ojeda-Aciego, M., De Baets, B.: Adjunctions between a fuzzy preposet and an unstructured set with underlying fuzzy equivalence relations. IEEE Trans. Fuzzy Syst. 26(3), 1274–1287 (2018)
Cabrera, I.P., Cordero, P., Ojeda-Aciego, M.: Relation-based Galois connections: towards the residual of a relation. In: Proceedings of Computational and Mathematical Methods in Science and Engineering (CMMSE 2017) (2017)
Chu, P.-H.: Constructing *-autonomous categories. In: Barr, M. (ed.) Appendix to *-Autonomous Categories. Lecture Notes in Mathematics, vol. 752. Springer (1979)
Denniston, J.T., Melton, A., Rodabaugh, S.E.: Formal contexts, formal concept analysis, and Galois connections. Electr. Proc. Theoret. Comput. Sci. 129, 105–120 (2013)
Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999)
García, F., Cabrera, I.P., Cordero, P., Ojeda-Aciego, M.: On Galois connections and soft computing. In: Lecture Notes in Computer Science, vol. 7903, pp. 224–235 (2013)
Jeřábek, E.: Galois connection for multiple-output operations. Algebra Univers. 79, 17 (2018)
Kridlo, O., Krajči, S., Ojeda-Aciego, M.: The category of \(L\)-Chu correspondences and the structure of \(L\)-bonds. Fundamenta Informaticae 115(4), 297–325 (2012)
Kridlo, O., Ojeda-Aciego, M.: On \(L\)-fuzzy correspondences. Int. J. Comput. Math. 88(9), 1808–1818 (2011)
Kridlo, O., Ojeda-Aciego, M.: Formal concept analysis and structures underlying quantum logics. Commun. Comput. Inf. Sci. 853, 574–584 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Cabrera, I.P., Cordero, P., Muñoz-Velasco, E., Ojeda-Aciego, M. (2019). Relational Connections Between Preordered Sets. In: Ntalianis, K., Vachtsevanos, G., Borne, P., Croitoru, A. (eds) Applied Physics, System Science and Computers III. APSAC 2018. Lecture Notes in Electrical Engineering, vol 574 . Springer, Cham. https://doi.org/10.1007/978-3-030-21507-1_24
Download citation
DOI: https://doi.org/10.1007/978-3-030-21507-1_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21506-4
Online ISBN: 978-3-030-21507-1
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)