On theories and models in fuzzy predicate logics
Hájek, Petr ; Cintula, Petr
J. Symbolic Logic, Tome 71 (2006) no. 1, p. 863-880 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories and on witnessed models.
Publié le : 2006-09-14
Classification:  
@article{1154698581,
     author = {H\'ajek, Petr and Cintula, Petr},
     title = {On theories and models in fuzzy predicate logics},
     journal = {J. Symbolic Logic},
     volume = {71},
     number = {1},
     year = {2006},
     pages = { 863-880},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1154698581}
}

Hájek, Petr; Cintula, Petr. On theories and models in fuzzy predicate logics. J. Symbolic Logic, Tome 71 (2006) no. 1, pp.  863-880. http://gdmltest.u-ga.fr/item/1154698581/