Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 11

available in:   PDF (199 kB) PS (178 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-11-1550


On the Forcing Semantics for Monoidal t-norm Based Logic

Denisa Diaconescu (University of Bucharest, Romania)

George Georgescu (University of Bucharest, Romania)

Abstract: MTL-algebras are algebraic structures for the Esteva-Godo monoidal t-norm based logic (MTL), a many-valued propositional calculus that formalizes the structure of the real interval [0, 1], induced by a left-continuous t-norm. Given a complete MTL-algebra Χ, we define the weak forcing value |φ|χ and the forcing value [φ]χ, for any formula φ of MTL in Χ. We establish some arithmetical properties of|.|χ and [.]χ, and prove the equality [φ]χ=||φ||χ, where ||φ||χ is the truth value of φ in Χ.

Keywords: MTL logic, MTL-algebras, forcing semantics

Categories: F.4.1