A note on saturated models for many-valued logics

In: Mathematica Slovaca, vol. 65, no. 4

Tommaso Flaminio - Matteo Bianchi

Detaily:

Rok, strany: 2015, 747 - 760

Kľúčové slová:

saturated models, Di Nola epresentation theorem, joint embedding property, amalgamation property

DOI: https://doi.org/10.1515/ms-2015-0053

O článku:

In 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 ($\kappa$)-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.

Ako citovať:

ISO 690:

Flaminio, T., Bianchi, M. 2015. A note on saturated models for many-valued logics. In Mathematica Slovaca, vol. 65, no.4, pp. 747-760. 0139-9918. DOI: https://doi.org/10.1515/ms-2015-0053

APA:

Flaminio, T., Bianchi, M. (2015). A note on saturated models for many-valued logics. Mathematica Slovaca, 65(4), 747-760. 0139-9918. DOI: https://doi.org/10.1515/ms-2015-0053

O vydaní:

Publikované: 1. 8. 2015