On Deductive Interpolation for the Weak Nilpotent Minimum logic

The Weak Nilpotent Minimum logic WNM was introduced by Esteva and Godo in [6] and shown to be the logic of the class of weak nilpotent minimum triangular norms. In this article, we prove that WNM admits the Deductive Interpolation Property by showing through a model-theoretic argument that the corresponding variety of algebras has the Amalgamation Property.