Skip to main content
Erschienen in: Soft Computing 7/2019

22.09.2018 | Focus

Representations for logics and algebras related to revised drastic product t-norm

verfasst von: Diego Valota

Erschienen in: Soft Computing | Ausgabe 7/2019

Einloggen

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We obtain a functional representation of RDP logic formulas and a combinatorial representation for finite RDP algebras. As the variety of RDP algebras includes the varieties of Gödel, DP, and EMTL algebras, we derive analogous representations for such varieties and their corresponding logics.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Fußnoten
1
MTL algebras are commutative integral bounded residuated lattices satisfying prelinearity (Galatos et al. 2007).
 
2
A multiset is a family whose members have multiple instances (a set is a multiset whose members have exactly one instance).
 
3
Note that, if \(g :J \rightarrow J'\) is an open map such that \(g(\max (J))=\max (J')\), then \(|J'| \le |J|\).
 
Literatur
Zurück zum Zitat Aguzzoli S, Gerla B, Marra V (2008) Defuzzifying formulas in Gödel logic through finitely additive measures. In: 2008 IEEE international conference on fuzzy systems (IEEE World Congress on Computational Intelligence), pp 1886–1893 Aguzzoli S, Gerla B, Marra V (2008) Defuzzifying formulas in Gödel logic through finitely additive measures. In: 2008 IEEE international conference on fuzzy systems (IEEE World Congress on Computational Intelligence), pp 1886–1893
Zurück zum Zitat Aguzzoli S, Bova S, Gerla B (2011) Free algebras and functional representation for fuzzy logics. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 2. College Publications, Cambridge, pp 713–791 Aguzzoli S, Bova S, Gerla B (2011) Free algebras and functional representation for fuzzy logics. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 2. College Publications, Cambridge, pp 713–791
Zurück zum Zitat Aguzzoli S, Bianchi M, Valota D (2014) A note on drastic product logic. In: Information processing and management of uncertainty, volume 443 of communications in computer and information science, pp 365–374. Springer Aguzzoli S, Bianchi M, Valota D (2014) A note on drastic product logic. In: Information processing and management of uncertainty, volume 443 of communications in computer and information science, pp 365–374. Springer
Zurück zum Zitat Aguzzoli S, Bova S, Valota D (2017a) Free weak nilpotent minimum algebras. Soft Comput 21(1):79–95CrossRefMATH Aguzzoli S, Bova S, Valota D (2017a) Free weak nilpotent minimum algebras. Soft Comput 21(1):79–95CrossRefMATH
Zurück zum Zitat Aguzzoli S, Bianchi M, Gerla B, Valota D (2017b) Probability measures in Gödel\(_\varDelta \) logic. In Antonucci A, Cholvy L, Papini O (eds) Proceedings of Symbolic and quantitative approaches to reasoning with uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, pp 353–363. Springer Aguzzoli S, Bianchi M, Gerla B, Valota D (2017b) Probability measures in Gödel\(_\varDelta \) logic. In Antonucci A, Cholvy L, Papini O (eds) Proceedings of Symbolic and quantitative approaches to reasoning with uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, pp 353–363. Springer
Zurück zum Zitat Aguzzoli S, Bianchi M, Gerla B, Valota D (2018) Free algebras, states and duality for the propositional Gödel \(\Delta \) and Drastic Product logics (Submitted manuscript) Aguzzoli S, Bianchi M, Gerla B, Valota D (2018) Free algebras, states and duality for the propositional Gödel \(\Delta \) and Drastic Product logics (Submitted manuscript)
Zurück zum Zitat D’Antona OM, Marra V (2006) Computing coproducts of finitely presented Gödel algebras. Ann Pure Appl Logic 142(1):202–211MathSciNetCrossRefMATH D’Antona OM, Marra V (2006) Computing coproducts of finitely presented Gödel algebras. Ann Pure Appl Logic 142(1):202–211MathSciNetCrossRefMATH
Zurück zum Zitat Esakia L (1974) Topological Kripke models. Soviet Math Dokl 15:147–151MATH Esakia L (1974) Topological Kripke models. Soviet Math Dokl 15:147–151MATH
Zurück zum Zitat Esteva F, Domingo X (1980) Sobre Negaciones Fuertes y Débiles en [0,1]. Stochastica 4:141–166MathSciNet Esteva F, Domingo X (1980) Sobre Negaciones Fuertes y Débiles en [0,1]. Stochastica 4:141–166MathSciNet
Zurück zum Zitat Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271–288MathSciNetCrossRefMATH Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271–288MathSciNetCrossRefMATH
Zurück zum Zitat Flaminio T, Godo L, Ugolini S (2018) Towards a probability theory for product logic: states, integral representation and reasoning. Int J Approx Reason 93:199–218MathSciNetCrossRefMATH Flaminio T, Godo L, Ugolini S (2018) Towards a probability theory for product logic: states, integral representation and reasoning. Int J Approx Reason 93:199–218MathSciNetCrossRefMATH
Zurück zum Zitat Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, volume 151 of studies in logic and the foundations of mathematics. Elsevier, Amsterdam Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, volume 151 of studies in logic and the foundations of mathematics. Elsevier, Amsterdam
Zurück zum Zitat Gerla B (2000) A note on functions associated with Gödel formulas. Soft Comput 4(4):206–209CrossRefMATH Gerla B (2000) A note on functions associated with Gödel formulas. Soft Comput 4(4):206–209CrossRefMATH
Zurück zum Zitat Hájek P (1998) Metamathematics of fuzzy logic, volume 4 of trends in logic. Kluwer Academic Publishers, London Hájek P (1998) Metamathematics of fuzzy logic, volume 4 of trends in logic. Kluwer Academic Publishers, London
Zurück zum Zitat Jenei S (2002) A note on the ordinal sum theorem and its consequence for the construction of triangular norms. Fuzzy Sets Syst 126(2):199–205MathSciNetCrossRefMATH Jenei S (2002) A note on the ordinal sum theorem and its consequence for the construction of triangular norms. Fuzzy Sets Syst 126(2):199–205MathSciNetCrossRefMATH
Zurück zum Zitat Klement EP, Mesiar R, Pap E (2000) Triangular norms, vol 8. trends in logic-studia logica library. Kluwer Academic Publishers, Dordrecht Klement EP, Mesiar R, Pap E (2000) Triangular norms, vol 8. trends in logic-studia logica library. Kluwer Academic Publishers, Dordrecht
Zurück zum Zitat Noguera C (2006) Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC Noguera C (2006) Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC
Zurück zum Zitat Valota D (2010) Poset representation for free RDP-algebras. In: Hosni H, Montagna F (eds) Probability, uncertainty and rationality, volume 10 of CRM series. Edizioni della Scuola Normale Superiore, Pisa Valota D (2010) Poset representation for free RDP-algebras. In: Hosni H, Montagna F (eds) Probability, uncertainty and rationality, volume 10 of CRM series. Edizioni della Scuola Normale Superiore, Pisa
Zurück zum Zitat Valota D (2018) Spectra of Gödel Algebras (Submitted manuscript) Valota D (2018) Spectra of Gödel Algebras (Submitted manuscript)
Zurück zum Zitat Wang S (2007) A fuzzy logic for the revised drastic product t-norm. Soft Comput 11(6):585–590CrossRefMATH Wang S (2007) A fuzzy logic for the revised drastic product t-norm. Soft Comput 11(6):585–590CrossRefMATH
Metadaten
Titel
Representations for logics and algebras related to revised drastic product t-norm
verfasst von
Diego Valota
Publikationsdatum
22.09.2018
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 7/2019
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-018-3541-y

Weitere Artikel der Ausgabe 7/2019

Soft Computing 7/2019 Zur Ausgabe