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.
Axiomatisation of varieties; Many-valued logics; MTL; Nilpotent Minimum; t-Norms; Weak Nilpotent Minimum
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
1-giu-2016
18-lug-2014
Article (author)
File in questo prodotto:
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.

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