[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Extended-order algebras and fuzzy implicators

  • Focus
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

In this work we reconsider the notion of implicator in a complete lattice L and discuss its properties, taking into account the viewpoint of the implication operation of classes of (weak) extended-order algebras, introduced by C. Guido and P. Toto and included in the class of implicative algebras considered by E. Rasiowa. In fact, such an implication, that is an extension of an order relation, can be viewed as an implicator in L, whose properties depend on those characterizing the structure of the algebra. We also propose in a (weak) right-distributive complete extended-order algebra \((L,\rightarrow,\top)\) with adjoint product ⊗ a relative implication as a further implicator beyond \({\rightarrow}{.}\) The relative implication allows an extension of the inclusion relation between L-sets A and B, different from the subsethood degree, that consists in seeing to which extent A is included in its conjunction with B. Moreover, we introduce in \((L,\rightarrow,\top)\) a further binary operation that we call conditional conjunction that can be read as “a” and “b, given a”, which motivates the term we have chosen to denote it. This operation, strictly related to the divisibility condition of BL-algebras, satisfies most conditions usually asked to a conjunction and it is well behaved with the adjoint product ⊗ and the meet operation ∧.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Baczyński M, Jayaram B (2008) Fuzzy implications. In: Studies in fuzziness and soft computing, vol 231. Springer, Heidelberg

  • Bandler W, Kohout L (1980) Fuzzy powersets and fuzzy implication operators. Fuzzy Sets Syst 4:13–30

    Article  MathSciNet  MATH  Google Scholar 

  • Blount K, Tsinakis C (2003) The structure of residuated lattices. Int J Algebra Comput 13(4):437–461

    Article  MathSciNet  MATH  Google Scholar 

  • Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht

    MATH  Google Scholar 

  • Ciungu LC (2009) The radical of perfect residuated structure. Inf Sci 179(15):2695–2709

    Article  MathSciNet  MATH  Google Scholar 

  • Della Stella ME, Guido C (2012) Associativity, commutativity and symmetry in residuated structures (in press)

  • Durante F, Klement EP, Mesiar R, Sempi C (2007) Conjunctors and their residual implicators: characterizations and construction methods. Mediterr J Math 4:343–356

    Article  MathSciNet  MATH  Google Scholar 

  • Frascella A (2011) Fuzzy Galois connections under weak conditions. Fuzzy Sets Syst 172(1):33–50

    Article  MathSciNet  MATH  Google Scholar 

  • Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in logic and the foundations of mathematics, vol 151. Elsevier, Amsterdam

  • Gierz G, Hofmann KH, Keimel K, Lawson JD, Mislove M, Scott DS (1980) A compendium of continuous lattices. Springer, Berlin/Heidelberg/New York

    Book  MATH  Google Scholar 

  • Guido C (2008) Lattice-valued categories. In: Klement EP, Rodabaugh SE, Stout LN (eds) Foundations of lattice-valued mathematics with applications to algebra and topology: Abstracts of 29th Linz seminar on fuzzy set theory. Universitatsdirektion Johannes Kepler Universtat, Bildungszentrum St. Magdalena, Linz, Austria, February 2008 (A-4040, Linz), pp 35–37

  • Guido C, Toto P (2008) Extended-order algebras. J Appl Log 6(4):609–626

    Article  MathSciNet  MATH  Google Scholar 

  • Hájek P (1998) Metamathematics of fuzzy logic. Trends in logic- studia logica library. vol 4. Kluwer, Dordrecht

  • Jipsen P, Tsinakis C (2002) A survey of residuated lattices. In: Martinez J (ed) Ordered algebraic structures. Kluwer, Dordrecht, pp 19–56

  • Rasiowa H (1974) An algebraic approach to non-classical logics. Studies in logics and the foundations of mathematics, vol 78. North-Holland, Amsterdam

  • Shi Y, Van Gasse B, Ruan D, Kerre EE (2009) Axioms for fuzzy implications: dependences and independences. In: Bodenhofer U, De Baets B, Klement EP, Saminger-Platz S (eds) Abstract (30 Linz seminar on fuzzy set theory, Linz 2009), pp 104–105

  • Shi Y, Van Gasse B, Ruan D, Kerre EE (2010) On dependencies and independencies of fuzzy implication axioms. Fuzzy Sets Syst 161(10):1388–1405

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

The authors are grateful to the referees for their useful comments on the first version of this paper.

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Trento, v. Sommarive 14, 38123, Povo (TN), Italy

    M. E. Della Stella

  2. Department of Mathematics “E. De Giorgi”, University of Salento, P.O. Box 193, 73100, Lecce, Italy

    C. Guido

Authors
  1. M. E. Della Stella
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Guido
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to C. Guido.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Della Stella, M.E., Guido, C. Extended-order algebras and fuzzy implicators. Soft Comput 16, 1883–1892 (2012). https://doi.org/10.1007/s00500-012-0840-6

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-012-0840-6

Keywords

Search

Navigation