| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 389866 | Fuzzy Sets and Systems | 2012 | 15 Pages |
Abstract
In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities. We will introduce few basic concepts related to homomorphism, isomorphism, submodel, etc. and show some properties of them.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
