Skip to main content
SpringerLink
Log in

On Galois Connections and Soft Computing

  • Conference paper
Advances in Computational Intelligence (IWANN 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7903))

Included in the following conference series:

Abstract

After recalling the different interpretations usually assigned to the term Galois connection, both in the crisp and in the fuzzy case, we survey on several of their applications in Computer Science and specifically, in Soft Computing.

Partially supported by the Spanish Science Ministry projects TIN12-39353-C04-01, TIN11-28084 and TIN09-14562-C05-01, and Junta de Andalucía project FQM-5233.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alcalde, C., Burusco, A., Díaz, J.C., Fuentes-González, R., Medina, J.: Fuzzy property-oriented concept lattices in morphological image and signal processing. In: Rojas, I., Joya, G., Cabestany, J. (eds.) IWANN 2013, Part II. LNCS, vol. 7903, pp. 246–253. Springer, Heidelberg (2013)

    Google Scholar 

  2. Bělohlávek, R.: Fuzzy Galois connections. Mathematical Logic Quarterly 45(4), 497–504 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  3. Belohlavek, R., Konecny, J.: Concept lattices of isotone vs. antitone Galois connections in graded setting: Mutual reducibility revisited. Information Sciences 199, 133–137 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  4. Birkhoff, G.: Lattice theory, vol. 25. Amer. Mathematical Society (1967)

    Google Scholar 

  5. Bloch, I.: Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations. Fuzzy Sets and Systems 160, 1858–1867 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Cohen, D.A., Creed, P., Jeavons, P.G., Živný, S.: An algebraic theory of complexity for valued constraints: Establishing a galois connection. In: Murlak, F., Sankowski, P. (eds.) MFCS 2011. LNCS, vol. 6907, pp. 231–242. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  7. Davey, B., Priestley, H.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)

    Google Scholar 

  8. Denecke, K., Erné, M., Wismath, S.L.: Galois connections and applications, vol. 565. Springer (2004)

    Google Scholar 

  9. Dilworth, R.P., Ward, M.: Residuated lattices. Transactions of the American Mathematical Society 45, 335–354 (1939)

    Article  MathSciNet  Google Scholar 

  10. Djouadi, Y., Prade, H.: Interval-valued fuzzy Galois connections: Algebraic requirements and concept lattice construction. Fundamenta Informaticae 99(2), 169–186 (2010)

    MathSciNet  MATH  Google Scholar 

  11. Dzik, W., Järvinen, J., Kondo, M.: Intuitionistic propositional logic with Galois connections. Logic Journal of the IGPL 18(6), 837–858 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  12. Filipiuk, P., Terepeta, M., Nielson, H., Nielson, F.: Galois connections for flow algebras. In: Bruni, R., Dingel, J. (eds.) FMOODS/FORTE 2011. LNCS, vol. 6722, pp. 138–152. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  13. Frascella, A.: Fuzzy Galois connections under weak conditions. Fuzzy Sets and Systems 172(1), 33–50 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  14. Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–174 (1967)

    Article  MathSciNet  MATH  Google Scholar 

  15. Heijmans, H.J.A.M., Ronse, C.: The algebraic basis of mathematical morphology I. dilations and erosions. Computer Vision, Graphics, and Image Processing 50(3), 245–295 (1990)

    Article  MATH  Google Scholar 

  16. Järvinen, J.: Pawlak’s information systems in terms of Galois connections and functional dependencies. Fundamenta Informaticae 75, 315–330 (2007)

    MathSciNet  MATH  Google Scholar 

  17. Järvinen, J., Kondo, M., Kortelainen, J.: Logics from Galois connections. Int. J. Approx. Reasoning 49(3), 595–606 (2008)

    Article  MATH  Google Scholar 

  18. Jeavons, P.: On the algebraic structure of combinatorial problems. Theoretical Computer Science 200(1), 185–204 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  19. Kan, D.M.: Adjoint functors. Transactions of the American Mathematical Society 87(2), 294–329 (1958)

    Article  MathSciNet  MATH  Google Scholar 

  20. Kerkhoff, S.: A general Galois theory for operations and relations in arbitrary categories. Algebra Universalis 68(3), 325–352 (2012)

    MathSciNet  MATH  Google Scholar 

  21. Kondo, M., Soneda, S., Yoshii, B.: Armstrong systems and Galois connections. In: Proc IEEE Intl Conf on Granular Computing, GrC 2011, pp. 342–344 (2011)

    Google Scholar 

  22. Maragos, P.: Lattice image processing: a unification of morphological and fuzzy algebraic systems. J. of Mathematical Imaging and Vision 22(2-3), 333–353 (2005)

    Article  MathSciNet  Google Scholar 

  23. Medina, J.: Multi-adjoint property-oriented and object-oriented concept lattices. Information Sciences 190, 95–106 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  24. Medina, J., Ojeda-Aciego, M.: On multi-adjoint concept lattices based on heterogeneous conjunctors. Fuzzy Sets and Systems 208, 95–110 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  25. Melton, A., Schmidt, D.A., Strecker, G.E.: Galois connections and computer science applications. In: Poigné, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 299–312 (1986)

    Google Scholar 

  26. Mi, J.-S., Leung, Y., Wu, W.-Z.: Approaches to attribute reduction in concept lattices induced by axialities. Knowledge-Based Systems 23(6), 504–511 (2010)

    Article  Google Scholar 

  27. Mu, S.-C., Oliveira, J.: Programming from Galois connections. Journal of Logic and Algebraic Programming 81(6), 680–704 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  28. Nachtegael, M., Kerre, E.E.: Classical and fuzzy approaches towards mathematical morphology. Studies in Fuzziness and Soft Computing 52, 3–57 (2000)

    Article  Google Scholar 

  29. Ore, Ø.: Galois connections. Trans. Amer. Math. Soc. 55, 493–513 (1944)

    MathSciNet  MATH  Google Scholar 

  30. Smith, P.: The Galois connection between syntax and semantics. Technical report, Univ Cambridge (2010)

    Google Scholar 

  31. Valverde-Albacete, F.J., Peláez-Moreno, C.: Extending conceptualisation modes for generalised formal concept analysis. Information Sciences 181, 1888–1909 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  32. Wolski, M.: Galois connections and data analysis. Fundamenta Informaticae 60, 401–415 (2004)

    MathSciNet  MATH  Google Scholar 

  33. Zhou, L.: Intuitionistic fuzzy residuated logic and Galois connection. In: Proc. of 2nd Pacific-Asia Conf on Circuits, Communications and System (PACCS), pp. 249–252. IEEE (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Mathematics, University of Malaga, Spain

    F. García-Pardo, I. P. Cabrera, P. Cordero & Manuel Ojeda-Aciego

Authors
  1. F. García-Pardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. I. P. Cabrera
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. Cordero
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Manuel Ojeda-Aciego
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Architecture and Computer Technology, University of Granada, Periodista Daniel Saucedo Aranda s/n, 18071, Granada, Spain

    Ignacio Rojas

  2. Department of Electronics Technology, University of Malaga, 29071, Malaga, Spain

    Gonzalo Joya

  3. Department of Electronics Engineering, Universitat Politecnica de Catalunya, 08034, Barcelona, Spain

    Joan Cabestany

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

García-Pardo, F., Cabrera, I.P., Cordero, P., Ojeda-Aciego, M. (2013). On Galois Connections and Soft Computing. In: Rojas, I., Joya, G., Cabestany, J. (eds) Advances in Computational Intelligence. IWANN 2013. Lecture Notes in Computer Science, vol 7903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38682-4_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38682-4_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38681-7

  • Online ISBN: 978-3-642-38682-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation