Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 71, Issue 3 (2006), 863-880.
On theories and models in fuzzy predicate logics
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.
J. Symbolic Logic, Volume 71, Issue 3 (2006), 863-880.
First available in Project Euclid: 4 August 2006
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Hájek, Petr; Cintula, Petr. On theories and models in fuzzy predicate logics. J. Symbolic Logic 71 (2006), no. 3, 863--880. doi:10.2178/jsl/1154698581. https://projecteuclid.org/euclid.jsl/1154698581