In a seminal paper Esteva and Godo introduced monoidal t-norm-based logic MTL and some of its prominent extensions such as NM and WNM. We notice that NM is axiomatisable from IMTL, and hence MTL, with one-variable axioms, by instantiating the WNM axiom over one variable. This observation leads us here to study the logic axiomatised by extending MTL by this one-variable axiom. We shall refer to its equivalent algebraic semantics as the variety of GHP-algebras, for those algebras will be shown to form the largest variety of MTL-algebras such that the falsum-free reducts of the positive cones of their chains are the most general totally ordered Gödel hoops. Among other results we obtain a general description of GHP standard algebras, and use the latter to characterise those extensions of WNM that can be obtained from GHP via the same set of extending axioms.
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties / S. Aguzzoli, M. Bianchi. - In: FUZZY SETS AND SYSTEMS. - ISSN 0165-0114. - 292:1(2016 Jun 01), pp. 5-31. [10.1016/j.fss.2014.07.007]
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
S. Aguzzoli;M. Bianchi
2016
Abstract
In a seminal paper Esteva and Godo introduced monoidal t-norm-based logic MTL and some of its prominent extensions such as NM and WNM. We notice that NM is axiomatisable from IMTL, and hence MTL, with one-variable axioms, by instantiating the WNM axiom over one variable. This observation leads us here to study the logic axiomatised by extending MTL by this one-variable axiom. We shall refer to its equivalent algebraic semantics as the variety of GHP-algebras, for those algebras will be shown to form the largest variety of MTL-algebras such that the falsum-free reducts of the positive cones of their chains are the most general totally ordered Gödel hoops. Among other results we obtain a general description of GHP standard algebras, and use the latter to characterise those extensions of WNM that can be obtained from GHP via the same set of extending axioms.File | Dimensione | Formato | |
---|---|---|---|
1-s2.0-S0165011414003145-main.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
4.18 MB
Formato
Adobe PDF
|
4.18 MB | 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.