It is well known that the strongest t-norm, that is the largest with respect to the pointwise order, is the minimum. In 2001, the logic MTL was introduced as the base of a framework of many-valued logics, and in 2002 it was shown that it is the logic of all left-continuous t-norms and their residua. Within this family of logics, the many-valued logic associated with the minimum t-norm is the Gödel one, whilst there is no logic associated to the drastic product t-norm. Indeed the drastic product is not left-continuous, and hence it does not have a residuum. However, in a recent paper the logic DP has been studied, by showing that the monoidal operation of every DP-chain is like the drastic product t-norm. In this paper we present the logic EMTL, whose algebraic variety is the smallest to contain the ones of Gödel- and DP-algebras. We show that the chains in this algebraic variety are exactly all the Gödel- and DP-chains, we classify and axiomatize all the subvarieties, and we show some limitative results concerning the amalgamation property.

The logic of the strongest and the weakest t-norms / M. Bianchi. - In: FUZZY SETS AND SYSTEMS. - ISSN 0165-0114. - 276(2015 Oct 01), pp. 6733.31-6733.42. [10.1016/j.fss.2015.01.013]

The logic of the strongest and the weakest t-norms

M. Bianchi
Primo
2015

Abstract

It is well known that the strongest t-norm, that is the largest with respect to the pointwise order, is the minimum. In 2001, the logic MTL was introduced as the base of a framework of many-valued logics, and in 2002 it was shown that it is the logic of all left-continuous t-norms and their residua. Within this family of logics, the many-valued logic associated with the minimum t-norm is the Gödel one, whilst there is no logic associated to the drastic product t-norm. Indeed the drastic product is not left-continuous, and hence it does not have a residuum. However, in a recent paper the logic DP has been studied, by showing that the monoidal operation of every DP-chain is like the drastic product t-norm. In this paper we present the logic EMTL, whose algebraic variety is the smallest to contain the ones of Gödel- and DP-algebras. We show that the chains in this algebraic variety are exactly all the Gödel- and DP-chains, we classify and axiomatize all the subvarieties, and we show some limitative results concerning the amalgamation property.
Many-valued logics; Gödel-logic; Drastic product logic; Drastic product t-norm; Minimum t-norm; Amalgamation property; Residuated lattices
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Settore MAT/02 - Algebra
1-ott-2015
Article (author)
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0165011415000330-main.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 328.23 kB
Formato Adobe PDF
328.23 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/260170
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? 9
social impact