On varieties generated by Weak Nilpotent Minimum t-norms
Carles Noguera, Francesc Esteva, Joan Gispert · 2005
In this paper we study Weak Nilpotent Minimum t-norms and their associated algebraic structures, the standard WNM-chains. We classify all the varieties generated by one standard WNM-chain, obtaining all the axiomatic extensions of WNM logic that are complete with respect to the semantics given by a left-continuous t-norm. To this end, we define a set of canonical standard WNM-chains and we prove that they generate pairwise different varieties and there are no other varieties generated by a standard WNM-chain.