In this article we present different applications of the ultraproduct construction in fuzzy predicate logics. Under the assumptions either of the existence of a measurable cardinal or that the MTL-algebra is finite, we show that basic properties of fuzzy structures are preserved under ultraproducts, we prove that ultraproducts of safe (exhaustive, witnessed) models are safe (exhaustive, witnessed, respectively). Finally, we show that, in the case of finite MTL-algebras, ultraproducts can be used to give an algebraic proof of the Compactness Theorem and a Characterization Theorem for Elementary Classes. © The Author 2013. Published by Oxford University Press. All rights reserved.
|Journal||Logic Journal of the IGPL|
|Publication status||Published - 1 Feb 2014|
- Fuzzy predicate logics
- Model theory