Title of article
Elements of model theory in higher-order fuzzy logic
Author/Authors
Novلk، نويسنده , , Vilém، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2012
Pages
15
From page
101
To page
115
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.
Keywords
Fuzzy type theory , Model theory , EQ-algebra
Journal title
FUZZY SETS AND SYSTEMS
Serial Year
2012
Journal title
FUZZY SETS AND SYSTEMS
Record number
1601565
Link To Document