Elements of model theory in higher-order fuzzy logic
type: Item
instance of: scholarly article
title: Elements of model theory in higher-order fuzzy logic
zbMATH Open document ID: 1283.03052
author: Vilém Novák
published in: Fuzzy Sets and Systems
publication date: 2012-12-20T00:00:00Z
review text: For his fuzzy type theory FTT [Fuzzy Sets Syst. 149, No. 2, 235--273 (2005; Zbl 1068.03019)] the author develops some basic model-theoretic notions and proves some elementary results. The core topics are homomorphic images, submodels, elementary equivalence and elementary substructures.
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03C99
zbMATH DE Number: 6117673
zbMATH Keywords: fuzzy type theory
zbMATH Keywords: model theory
zbMATH Keywords: EQ-algebras
zbMATH Keywords: elementary equivalence
zbMATH Keywords: submodels
reviewed by: Siegfried J. Gottwald
describes a project that uses: ETPS
MaRDI profile type: Publication
full work available at URL: j.fss.2012.03.006
OpenAlex ID: W2090663975
cites work: General models, descriptions, and choice in type theory
cites work: An introduction to mathematical logic and type theory: To truth through proof.
cites work: Model theory
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: Formal systems of fuzzy logic and their fragments
cites work: Preserving mappings in fuzzy predicate logics
cites work: On elementary equivalence in fuzzy predicate logics
cites work: On good EQ-algebras
cites work: The seven virtues of simple type theory
cites work: Metamathematics of fuzzy logic
cites work: On theories and models in fuzzy predicate logics
cites work: Completeness in the theory of types
cites work: A theory of prepositional types
cites work: Q4003410
cites work: A guide to classical and modern model theory
cites work: Omitting types in fuzzy logic with evaluated syntax
cites work: Q3484812
cites work: On fuzzy type theory
cites work: Living in a bubble? Toward a unified bubble theory
cites work: On Virtues of Many-Valued (Fuzzy) Type Theories
cites work: EQ-algebra-based fuzzy type theory and its extensions
cites work: EQ-algebras
cites work: Q4269081
cites work: On Fuzzy Logic I Many‐valued rules of inference
DOI: 10.1016/J.FSS.2012.03.006
description: scientific article; zbMATH DE number 6117673