Algebraic results on universal quantifiers in monoidal t-norm based logic

Jun Tao Wang

In this paper, we enlarge the language of MTL-algebras by a unary operation $\forall$ equationally described so as to abstract algebraic properties of the universal quantifier "for…