Skip to main content
Top
Published in: Soft Computing 3/2013

01-03-2013 | Original Paper

On the algebraic structure of binary lattice-valued fuzzy relations

Authors: Xiaodong Pan, Yang Xu

Published in: Soft Computing | Issue 3/2013

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

From a general algebraic point of view, this paper aims at providing an algebraic analysis for binary lattice-valued relations based on lattice implication algebras—a kind of lattice-valued propositional logical algebra. By abstracting away from the concrete lattice-valued relations and the operations on them, such as composition and converse, the notion of lattice-valued relation algebra is introduced, LRA for short. The reduct of an LRA is a lattice implication algebra. Such an algebra generalizes Boolean relation algebras by general distributive lattices and can provide a fundamental algebraic theory for establishing lattice-valued first-order logic. Some important results are generalized from the classical case. The notion of cylindric filter is introduced and the generated cylindric filters are characterized.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
go back to reference Di Nola A, Lettieri A, Perfilieva I, Novák V (2007) Algebraic analysis of fuzzy systems. Fuzzy Sets Syst 158:1–22MATHCrossRef Di Nola A, Lettieri A, Perfilieva I, Novák V (2007) Algebraic analysis of fuzzy systems. Fuzzy Sets Syst 158:1–22MATHCrossRef
go back to reference Di Nola A, Pedrycz W, Sessa S, Sanchez E (1991) Fuzzy relation equations theory as a basis of fuzzy modelling: an overview. Fuzzy Sets Syst 40:415–429MathSciNetMATHCrossRef Di Nola A, Pedrycz W, Sessa S, Sanchez E (1991) Fuzzy relation equations theory as a basis of fuzzy modelling: an overview. Fuzzy Sets Syst 40:415–429MathSciNetMATHCrossRef
go back to reference Furusawa H (1998) Algebraic formalisations of fuzzy relations and their representation theorems. PhD Thesis, Kyushu University Furusawa H (1998) Algebraic formalisations of fuzzy relations and their representation theorems. PhD Thesis, Kyushu University
go back to reference Halmos P, Givant SR (1998) Logic as algebra. The Mahtematical Association of America Halmos P, Givant SR (1998) Logic as algebra. The Mahtematical Association of America
go back to reference He XX, Xu Y, Liu J (2012) Shuwei Chen: on compatibilities of α-Lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput 16:699–709MATHCrossRef He XX, Xu Y, Liu J (2012) Shuwei Chen: on compatibilities of α-Lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput 16:699–709MATHCrossRef
go back to reference Kerre EE (1993) A walk through fuzzy relations and their application to information retrieval, medical diagnosis and expert systems. In: Ayyub B, Gupta M, Kanal L (eds) Analysis and management of uncertainty: theory and applications. North-Holland, Amsterdam, pp 141–151 Kerre EE (1993) A walk through fuzzy relations and their application to information retrieval, medical diagnosis and expert systems. In: Ayyub B, Gupta M, Kanal L (eds) Analysis and management of uncertainty: theory and applications. North-Holland, Amsterdam, pp 141–151
go back to reference Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic. Prentice Hall, Upper Saddle River Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic. Prentice Hall, Upper Saddle River
go back to reference Lai JJ, Xu Y (2010) Linguistic truth-valued lattice-valued propositional logic system lp(X) based on linguistic truth-valued lattice implication algebra. Inform Sci 180:1990–2002 Lai JJ, Xu Y (2010) Linguistic truth-valued lattice-valued propositional logic system lp(X) based on linguistic truth-valued lattice implication algebra. Inform Sci 180:1990–2002
go back to reference Ma J, Li WJ, Ruan D, Xu Y (2007) Filter-based resolution principle for lattice-valued propositional logic LP(X). Inform Sci 177:1046–1062MathSciNetMATHCrossRef Ma J, Li WJ, Ruan D, Xu Y (2007) Filter-based resolution principle for lattice-valued propositional logic LP(X). Inform Sci 177:1046–1062MathSciNetMATHCrossRef
go back to reference Novák V (2001) Antonyms and linguistic quantifiers in fuzzy logic. Fuzzy Sets Syst 24:335–351CrossRef Novák V (2001) Antonyms and linguistic quantifiers in fuzzy logic. Fuzzy Sets Syst 24:335–351CrossRef
go back to reference Novák V (2005) Are fuzzy sets a reasonable tool for modeling vague phenomena? Fuzzy Sets Syst 156:341–348MATHCrossRef Novák V (2005) Are fuzzy sets a reasonable tool for modeling vague phenomena? Fuzzy Sets Syst 156:341–348MATHCrossRef
go back to reference Perfilieva I, Novák V (2007) System of fuzzy relation equations as a continuous model of IF-THEN rules. Inform Sci 177:3218–3227MathSciNetMATHCrossRef Perfilieva I, Novák V (2007) System of fuzzy relation equations as a continuous model of IF-THEN rules. Inform Sci 177:3218–3227MathSciNetMATHCrossRef
go back to reference Pan XD, Xu Y, Liu J (2004) The relations between lattice implication algebras and Brouwerian lattice. In: Applied computational intelligence—proceedings of the 6th International FLINS conference, pp 51–56 Pan XD, Xu Y, Liu J (2004) The relations between lattice implication algebras and Brouwerian lattice. In: Applied computational intelligence—proceedings of the 6th International FLINS conference, pp 51–56
go back to reference Pan XD, Xu Y (2010) Semantic theory of finite lattice-valued propositional logic. Sci China Inform Sci 53:2022–2031MathSciNetCrossRef Pan XD, Xu Y (2010) Semantic theory of finite lattice-valued propositional logic. Sci China Inform Sci 53:2022–2031MathSciNetCrossRef
go back to reference Turunen E (1999) Mathematics behind fuzzy logic. Physica, Heidelberg Turunen E (1999) Mathematics behind fuzzy logic. Physica, Heidelberg
go back to reference Winter M (2005) Goguen categories. J Relat Methods Comput Sci 1:339–357 Winter M (2005) Goguen categories. J Relat Methods Comput Sci 1:339–357
go back to reference Winter M (2007) Goguen categories—a categorical approach to L-fuzzy relations. In: Trends in logic, vol 25. Springer Winter M (2007) Goguen categories—a categorical approach to L-fuzzy relations. In: Trends in logic, vol 25. Springer
go back to reference Xu Y (1993) Lattice implication algebras. J Southwest Jiaotong Univ 28:20–27 (in Chinese) Xu Y (1993) Lattice implication algebras. J Southwest Jiaotong Univ 28:20–27 (in Chinese)
go back to reference Xu Y, Ruan D, Qin KY, Liu J (2003) Lattice-valued logic-an alternative approach to treat fuzziness and incomparability. Springer, Berlin Xu Y, Ruan D, Qin KY, Liu J (2003) Lattice-valued logic-an alternative approach to treat fuzziness and incomparability. Springer, Berlin
go back to reference Xu Y, Liu J, Ruan D, Li XB (2011) Determination of α-resolution in lattice-valued first-order logic LF(X). Inform Sci 181:1836–1862MathSciNetMATHCrossRef Xu Y, Liu J, Ruan D, Li XB (2011) Determination of α-resolution in lattice-valued first-order logic LF(X). Inform Sci 181:1836–1862MathSciNetMATHCrossRef
Metadata
Title
On the algebraic structure of binary lattice-valued fuzzy relations
Authors
Xiaodong Pan
Yang Xu
Publication date
01-03-2013
Publisher
Springer-Verlag
Published in
Soft Computing / Issue 3/2013
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-012-0916-3

Other articles of this Issue 3/2013

Soft Computing 3/2013 Go to the issue

Premium Partner