Forcing operators on MTL-algebras

摘要

We study the forcing operators on MTL-algebras, an algebraic notion inspired by the Kripke semantics of the monoidal t-norm based logic (MTL). At logical level, they provide the notion of the forcing value of an MTL-formula. We characterize the forcing operators in terms of some MTL-algebras morphisms. From this result we derive the equality of the forcing value and the truth value of an MTL-formula.