Title :
Revisiting Ultraproducts in Fuzzy Predicate Logics
Author_Institution :
Inst. d´´Investigacio en Intel-ligencia Artificial IIIA - CSIC, Univ. Autonoma de Barcelona, Bellaterra, Spain
Abstract :
In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the $L$os Theorem for these notions and discuss the advantages and drawbacks of each definition introduced. Following the work in cite{De09}, we show that these constructions are adequate for working in a reduced semantics
Keywords :
Filters; Fuzzy logic; Mathematical model; Ultraproducts; fuzzy predicate logics; reduced products; reduced semantics;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Conference_Location :
Barcelona, Spain
Print_ISBN :
978-1-4244-6752-5
DOI :
10.1109/ISMVL.2010.33
