Elements of model theory in higher-order fuzzy logic

Authors:
ViléM NováK
Affiliations:
Centre of Excellence IT4Innovations, Division of the University of Ostrava, Institute for Research and Applications of Fuzzy Modelling, University of Ostrava, 30. dubna 22, 701 03 Ostrava 1, Czech ...
Venue:
Fuzzy Sets and Systems
Year:
2012

Citing 5
Cited 0

Introduction to Mathematical Logic and Type Theory: To Truth through Proof

Introduction to Mathematical Logic and Type Theory: To Truth through Proof
EQ-algebras

Fuzzy Sets and Systems
On good EQ-algebras

Fuzzy Sets and Systems
Preserving mappings in fuzzy predicate logics

Journal of Logic and Computation
On elementary equivalence in fuzzy predicate logics

Archive for Mathematical Logic

Quantified Score

Hi-index	0.20

Visualization

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.