Omitting Types Theorem in Mathematical Fuzzy Logic

Authors: Petr Cintula, D. Diaconescu
Publication year: 2018
Publication type: Abstrakt
Periodical: LATD 2018. Proceedings
Projects: Predicate graded logics and their applications to computer science
Bibliographic citation: CINTULA, Petr, DIACONESCU, D. Omitting Types Theorem in Mathematical Fuzzy Logic. In: LATD 2018. Proceedings. Bern: University of Bern, 2018, S. 55-57.
ID: 508275

Abstract

Fuzzy structures constitute the semantics of first-order Mathematical Fuzzy Logic. These structures can be seen as generalizations of the classical ones by interpreting predicate symbols as functions from the domain to arbitrary lattice-ordered sets, instead of the two element Boolean algebra. Model theory of fuzzy structures is an evolving branch of Mathematical Fuzzy Logic which investigates, among others, how results from classical model theory are transformed within this fuzzy framework. In this talk we focus on Omitting Types Theorem and investigate its analog in the framework of Mathematical Fuzzy logic.