The standard completeness of interval-valued monoidal t-norm based logic
نویسندگان
چکیده
منابع مشابه
The standard completeness of interval-valued monoidal t-norm based logic
In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its extensions. For other extensions we show that they are not strong standard complete. We also give a local deduction theorem for IVMTL and other extensions of interval-valued monoidal logic. Similar results are obtained for interval-valued fuzzy logics expanded with Baaz...
متن کاملOn the Forcing Semantics for Monoidal t-norm Based Logic
MTL-algebras are algebraic structures for the Esteva-Godo monoidal tnorm 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 X , we define the weak forcing value |φ|X and the forcing value [φ]X , for any formula φ of MTL in X . We establish some arithmetical propertie...
متن کاملDecidability of Cancellative Extension of Monoidal T-norm Based Logic
It is known that the monoidal t-norm based logic (MTL) and many of its schematic extensions are decidable. The usual way how to prove decidability of some schematic extension of MTL is to show that the corresponding class of algebras of truth values has the finite model property (FMP) or the finite embeddability property (FEP). However this method does not work for the extensions whose correspo...
متن کاملA new axiomatization for involutive monoidal t-norm-based logic
On the real unit interval, the notion of a Girard monoid coincides with the notion of a t-norm-based residuated lattice with strong induced negation. A geometrical approach toward these Girard monoids, based on the notion of rotation invariance, is turned in an adequate axiomatization for the Involutive Monoidal T-norm-based residuated Logic (IMTL).
متن کاملAnalytic Calculi for Monoidal T-norm Based Logic
Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL. These are obtained by lifting two sequent calculi for different fragments of this logic to the hypersequent level with subsequent addition of Avron’s communication rule. Our calculi enable to prove the mid(hyper)sequent theorem. As corollaries follow Herbrand’s theorem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Sciences
سال: 2012
ISSN: 0020-0255
DOI: 10.1016/j.ins.2011.11.043