Elements of model theory in higher-order fuzzy logic (Q695272): Difference between revisions

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.

0 references

Mathematics Subject Classification ID

03B52

0 references

0 references

0 references

fuzzy type theory

0 references

model theory

0 references

EQ-algebras

0 references

elementary equivalence

0 references

submodels

0 references

reviewed by

Siegfried Johannes Gottwald

0 references

describes a project that uses

ETPS

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.fss.2012.03.006

0 references

OpenAlex ID

W2090663975

0 references

cites work

General models, descriptions, and choice in type theory

0 references

An introduction to mathematical logic and type theory: To truth through proof.

0 references

Model theory

0 references

Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

0 references

Formal systems of fuzzy logic and their fragments

0 references

Preserving mappings in fuzzy predicate logics

0 references

On elementary equivalence in fuzzy predicate logics

0 references

On good EQ-algebras

0 references

The seven virtues of simple type theory

0 references

Metamathematics of fuzzy logic

0 references

On theories and models in fuzzy predicate logics

0 references

Completeness in the theory of types

0 references

A theory of prepositional types

0 references

Q4003410

0 references

A guide to classical and modern model theory

0 references

Omitting types in fuzzy logic with evaluated syntax

0 references

Q3484812

0 references

On fuzzy type theory

0 references

Living in a bubble? Toward a unified bubble theory

0 references

On Virtues of Many-Valued (Fuzzy) Type Theories

0 references

EQ-algebra-based fuzzy type theory and its extensions

0 references

EQ-algebras

0 references

Q4269081

0 references

On Fuzzy Logic I Many‐valued rules of inference

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:695272

@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2012.03.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2090663975
@@ Property / OpenAlex ID: W2090663975 / rank @@
+Normal rank
@@ Property / cites work @@
+General models, descriptions, and choice in type theory
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Formal systems of fuzzy logic and their fragments
@@ Property / cites work: Formal systems of fuzzy logic and their fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Preserving mappings in fuzzy predicate logics
@@ Property / cites work: Preserving mappings in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary equivalence in fuzzy predicate logics
+Normal rank
@@ Property / cites work @@
+On good EQ-algebras
@@ Property / cites work: On good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The seven virtues of simple type theory
@@ Property / cites work: The seven virtues of simple type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of prepositional types
@@ Property / cites work: A theory of prepositional types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to classical and modern model theory
@@ Property / cites work: A guide to classical and modern model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types in fuzzy logic with evaluated syntax
+Normal rank
@@ Property / cites work @@
+Q3484812
@@ Property / cites work: Q3484812 / rank @@
+Normal rank
@@ Property / cites work @@
+On fuzzy type theory
@@ Property / cites work: On fuzzy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Living in a bubble? Toward a unified bubble theory
+Normal rank
@@ Property / cites work @@
+On Virtues of Many-Valued (Fuzzy) Type Theories
@@ Property / cites work: On Virtues of Many-Valued (Fuzzy) Type Theories / rank @@
+Normal rank
@@ Property / cites work @@
+EQ-algebra-based fuzzy type theory and its extensions
+Normal rank
@@ Property / cites work @@
+EQ-algebras
@@ Property / cites work: EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank