A Note on Saturated Models for Many-Valued Logics
Keyword(s):
AbstractIn this short paper we will discuss on saturated and κ-saturated models of many-valued (t-norm based fuzzy) logics. Using these peculiar structures we show a representation theorem à la Di Nola for several classes of algebras including MV, Gödel, product, BL, NM and WNM-algebras. Then, still using (κ)-saturated algebras, we finally show that some relevant subclasses of algebras related to many-valued logics also enjoy the joint embedding property and the amalgamation property.
Keyword(s):
1992 ◽
Vol 24
(5)
◽
pp. 417-423
◽
1993 ◽
Vol 60
(3)
◽
pp. 275-290
◽