Premium
Forcing operators on MTL‐algebras
Author(s) -
Diaconescu Denisa,
Georgescu George
Publication year - 2011
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200910117
Subject(s) - forcing (mathematics) , mathematics , morphism , value (mathematics) , pure mathematics , truth value , algebraic semantics , algebraic number , algebra over a field , norm (philosophy) , semantics (computer science) , computer science , epistemology , mathematical analysis , statistics , philosophy , programming language
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 (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)