Top

Soft Computing

Published in:

07-08-2018 | Focus

On linear varieties of MTL-algebras

Authors: Stefano Aguzzoli, Matteo Bianchi

Published in: Soft Computing | Issue 7/2019

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

search-config

AI-assisted search

Off

Abstract

In this paper, we focus on those varieties of MTL-algebras whose lattice of subvarieties is totally ordered. Such varieties are called linear. We show that a variety \({{\mathbb {L}}}\) of MTL-algebras is linear if and only if each of its subvarieties is generated by one chain. We also study the order type of their lattices of subvarieties, and the structure of their generic chains. If \({\mathbb {L}}\) is a linear variety with the finite model property, we have that the class of chains in \({\mathbb {L}}\) is formed by either bipartite or simple chains. As a further result, we provide a complete classification of the linear varieties of BL-algebras. The more general case of MTL-algebras is out of reach, but nevertheless we classify all the linear varieties of WNM-algebras.

previous article Many-valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday

next article A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions

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!

inform now

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!

inform now

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!

inform now

Usually \({\mathrm{Rad}}({\mathcal {A}})\) is defined as the intersection of all the maximal proper filters of \({\mathcal {A}}\). Since we work only on MTL-chains, the two definitions are equivalent.

Aglianò P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181(2–3):105–129. https://doi.org/10.1016/S0022-4049(02)00329-8 MathSciNetCrossRefMATH

Aglianò P, Ferreirim I, Montagna F (2007) Basic hoops: an algebraic study of continuous \(t\)-norms. Studia Logica 87:73–98. https://doi.org/10.1007/s11225-007-9078-1 MathSciNetCrossRefMATH

Aguzzoli S, Bianchi M (2016) Single chain completeness and some related properties. Fuzzy Sets Syst. https://doi.org/10.1016/j.fss.2016.03.008 MathSciNetMATH

Aguzzoli S, Bianchi M (2017) Minimally many-valued extensions of the monoidal t-norm based logic MTL. In: Petrosino A, Loia V, Pedrycz W (eds) Fuzzy logic and soft computing applications: 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016, Revised Selected Papers, pp 106–115. Springer International Publishing. https://doi.org/10.1007/978-3-319-52962-2_9

Aguzzoli S, Bianchi M, Valota D (2014) A note on Drastic Product logic. In: Information processing and management of uncertainty, communications in computer and information science, vol 443, pp 365–374, Springer. arXiv:1406.7166

Bianchi M (2012) The variety generated by all the ordinal sums of perfect MV-chains. Studia Logica 101(1):11–29. https://doi.org/10.1007/s11225-012-9371-5 MathSciNetCrossRefMATH

Bianchi M (2015) The logic of the strongest and the weakest t-norms. Fuzzy Sets Syst 276:31–42. https://doi.org/10.1016/j.fss.2015.01.013 MathSciNetCrossRefMATH

Bianchi M (2018) Strictly join irreducible elements in the lattice of varieties of BL-algebras. In: 2017 IEEE symposium series on computational intelligence (SSCI) proceedings. IEEE. https://doi.org/10.1109/SSCI.2017.8285361

Bianchi M, Montagna F (2009) Supersound many-valued logics and Dedekind–MacNeille completions. Arch Math Log 48(8):719–736. https://doi.org/10.1007/s00153-009-0145-3 MathSciNetCrossRefMATH

Bianchi M, Montagna F (2011) \(n\)-contractive BL-logics. Arch Math Log 50(3–4):257–285. https://doi.org/10.1007/s00153-010-0213-8 MathSciNetCrossRefMATH

Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Univ 43(2–3):233–257. https://doi.org/10.1007/s000120050156 MathSciNetCrossRefMATH

Blok W, Pigozzi D (1989) Algebraizable logics, memoirs of the American Mathematical Society, vol 77. American Mathematical Society. http://tinyurl.com/o89ug5o

Burris S, Sankappanavar H (1981) A course in universal algebra, vol 78. Springer. 2012 electronic edition: http://tinyurl.com/zaxeopo

Cignoli R, Torrens A (2006) Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^2)=(2x)^2\). Stud Log 83(1):157–181. https://doi.org/10.1007/s11225-006-8302-8 CrossRefMATH

Cignoli R, D’Ottaviano I, Mundici D (1999) Algebraic foundations of many-valued reasoning, trends in logic, vol 7. Kluwer Academic Publishers, DordrechtMATH

Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Comput 4(2):106–112. https://doi.org/10.1007/s005000000044 CrossRef

Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Log 160(1):53–81. https://doi.org/10.1016/j.apal.2009.01.012 MathSciNetCrossRefMATH

Cintula P, Hájek P, Noguera C (2011) Handbook of mathematical fuzzy logic, vol 1 and 2. College Publications, LondonMATH

Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271–288. https://doi.org/10.1016/S0165-0114(01)00098-7 MathSciNetCrossRefMATH

Esteva F, Godo L, Hájek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13(4):532–555. https://doi.org/10.1093/logcom/13.4.532 MathSciNetCrossRefMATH

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

Gispert J (2003) Axiomatic extensions of the nilpotent minimum logic. Rep Math Log 37: 113–123. http://tinyurl.com/nqsle2f

Grigolia R (1977) Algebraic analysis of Łukasiewicz–Tarski n-valued logical systems. In: Selected papers on Łukasiewicz sentencial calculi, pp 81–91. Polish Academy of Science, Ossolineum

Hájek P (1998) Metamathematics of fuzzy logic, trends in logic, vol 4, paperback edn. Kluwer Academic Publishers

Hecht T, Katriňák T (1972) Equational classes of relative Stone algebras. Notre Dame J Form Log 13(2):248–254. https://doi.org/10.1305/ndjfl/1093894723 MathSciNetCrossRefMATH

Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo’s logic MTL. Stud Log 70(2):183–192. https://doi.org/10.1023/A:1015122331293 MathSciNetCrossRefMATH

Katoh Y, Kowalski T, Ueda M (2006) Almost minimal varieties related to fuzzy logic. Rep Math Log pp 173–194. http://tinyurl.com/h8sc6j3

Montagna F (2011) Completeness with respect to a chain and universal models in fuzzy logic. Arch Math Log 50(1–2):161–183. https://doi.org/10.1007/s00153-010-0207-6 MathSciNetCrossRefMATH

Noguera C (2006) Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC

Noguera C, Esteva F, Gispert J (2005) On some varieties of MTL-algebras. Log J IGPL 13(4):443–466. https://doi.org/10.1093/jigpal/jzi034 MathSciNetCrossRefMATH

Title: On linear varieties of MTL-algebras
Authors: Stefano Aguzzoli
Matteo Bianchi
Publication date: 07-08-2018
Publisher: Springer Berlin Heidelberg
Published in: Soft Computing / Issue 7/2019
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-018-3423-3

Springer Professional

Abstract

Please log in to get access to your license.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 7/2019

Connecting fuzzy logic and argumentation frames via logical attack principles

Implicit definability of truth constants in Łukasiewicz logic

Scalable scene understanding via saliency consensus

Compatibly involutive residuated lattices and the Nelson identity

Swap structures semantics for Ivlev-like modal logics

A fuzzy-based classification strategy (FBCS) based on brain–computer interface

Premium Partner