Forcing operators on MTL-algebras
β
Denisa Diaconescu; George Georgescu
π
Article
π
2011
π
John Wiley and Sons
π
English
β 166 KB
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 morphis