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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abdel-Hamid, A., Morsi, N.: Associatively tied implicacions. Fuzzy Sets and Systems 136(3), 291–311 (2003)
Bělohlávek, R.: Concept lattices and order in fuzzy logic. Annals of Pure and Applied Logic 128, 277–298 (2004)
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)
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)
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)
Hájek, P.: Trends in Logic. In: Metamathematics of Fuzzy Logic. Kluwer Academic, Dordrecht (1998)
Krajči, S.: A generalized concept lattice. Logic Journal of IGPL 13(5), 543–550 (2005)
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)
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)
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)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems 146, 43–62 (2004)
Morsi, N., El-Zekey, M.: Applications of tied implications to approximate reasoning and fuzzy control. In: 70 Years of FCE STU (2008)
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)
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
Morsi, N.N.: Propositional calculus under adjointness. Fuzzy Sets and Systems 132(1), 91–106 (2002)
Morsi, N.N., Roshdy, E.M.: Issues on adjointness in multiple-valued logics. Information Sciences 176, 2886–2909 (2005)
Vojtáš, P.: Fuzzy logic programming. Fuzzy sets and systems 124(3), 361–370 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)