Skip to main content
SpringerLink
Log in

Implication Triples versus Adjoint Triples

  • Conference paper
Advances in Computational Intelligence (IWANN 2011)

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

Included in the following conference series:

Abstract

Implication triples and adjoint triples are two of the more general residuated operators which have been applied independently in manifold important fields. This paper presents diverse properties of adjoint triples in order to relate them to implication triples. As a consequence of this relation, we obtain, for example, that a multi-adjoint lattice in multi-adjoint logic programming is a particular case of a complete adjointness lattice.

Partially supported by the Spanish Science Ministry under grant TIN2009-14562-C05-03 and by Junta de Andalucía under grant P09-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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Abdel-Hamid, A., Morsi, N.: Associatively tied implicacions. Fuzzy Sets and Systems 136(3), 291–311 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bělohlávek, R.: Concept lattices and order in fuzzy logic. Annals of Pure and Applied Logic 128, 277–298 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Damásio, C., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: Termination results and aplications. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 252–265. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Damásio, C., Medina, J., Ojeda-Aciego, M.: Termination of logic programs with imperfect information: applications and query procedure. Journal of Applied Logic 5, 435–458 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Damásio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 748–759. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  6. Hájek, P.: Trends in Logic. In: Metamathematics of Fuzzy Logic. Kluwer Academic, Dordrecht (1998)

    Chapter  Google Scholar 

  7. Krajči, S.: A generalized concept lattice. Logic Journal of IGPL 13(5), 543–550 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. Medina, J., Ojeda-Aciego, M., Ruiz-Calviño, J.: Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets and Systems 160(2), 130–144 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  9. Medina, J., Ojeda-Aciego, M., Valverde, A., Vojtáš, P.: Towards biresiduated multi-adjoint logic programming. In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, J.-L. (eds.) CAEPIA/TTIA 2003. LNCS (LNAI), vol. 3040, pp. 608–617. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  10. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Multi-adjoint Logic Programming with Continuous Semantics. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 351–364. Springer, Heidelberg (2001)

    Google Scholar 

  11. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems 146, 43–62 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  12. Morsi, N., El-Zekey, M.: Applications of tied implications to approximate reasoning and fuzzy control. In: 70 Years of FCE STU (2008)

    Google Scholar 

  13. Morsi, N., Lotfallah, W., El-Zekey, M.: The logic of tied implications, part 1: Properties, applications and representation. Fuzzy Sets and Systems 157(15), 647–669 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Morsi, N., Lotfallah, W., El-Zekey, M.: The logic of tied implications, part 2: Syntax, fuzzy sets and systems. Fuzzy Sets and Systems 157(17), 2030–2057 (2006); Corrigendum in: Fuzzy Sets and Systems 157 (17), 2416-2417

    Article  MathSciNet  MATH  Google Scholar 

  15. Morsi, N.N.: Propositional calculus under adjointness. Fuzzy Sets and Systems 132(1), 91–106 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  16. Morsi, N.N., Roshdy, E.M.: Issues on adjointness in multiple-valued logics. Information Sciences 176, 2886–2909 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  17. Vojtáš, P.: Fuzzy logic programming. Fuzzy sets and systems 124(3), 361–370 (2001)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Cádiz, Spain

    Ma Eugenia Cornejo, Jesús Medina & Eloisa Ramírez

Authors
  1. Ma Eugenia Cornejo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jesús Medina
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eloisa Ramírez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departament d’Enginyeria Electrònica, Universitat Politècnica de Catalunya (UPC), Campus Nord, Edificio C4, c/ Gran Capità s/n, 08034, Barcelona, Spain

    Joan Cabestany

  2. Department of Computer Architecture and Computer Technology, University of Granada, C/ Periodista Daniel Saucedo Aranda, 18071, Granada, Spain

    Ignacio Rojas

  3. Departamento Tecnologia Eletrónica, Universidad de Málaga, Campus de Teatinos, 29071, Málaga, Spain

    Gonzalo Joya

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cornejo, M.E., Medina, J., Ramírez, E. (2011). Implication Triples versus Adjoint Triples. In: Cabestany, J., Rojas, I., Joya, G. (eds) Advances in Computational Intelligence. IWANN 2011. Lecture Notes in Computer Science, vol 6692. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21498-1_57

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21498-1_57

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21497-4

  • Online ISBN: 978-3-642-21498-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation