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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call