Omitting Types Theorem for Fuzzy Logics

Autoři: doc. Ing. Petr Cintula, Ph.D. DSc.
Rok vydání: 2019
Typ publikace: Článek v odborném periodiku
Periodikum: IEEE Transactions on Fuzzy Systems
Projekty: Predikátové škálované logiky a jejich aplikace v informatice
Bibliografická citace: CINTULA, Petr, DIACONESCU, D. Omitting Types Theorem for Fuzzy Logics. IEEE Transactions on Fuzzy Systems. 2019, 27(2), 273-277. ISSN 1063-6706. E-ISSN 1941-0034
Dostupné z: doi:10.1109/TFUZZ.2018.2856084.
DOI: 10.1109/TFUZZ.2018.2856084
ID: 491823
Online záznam: Zobrazit online záznam

Abstrakt

In this paper we generalize the omitting types theorem, an important result of classical model theory, for a wide class of fuzzy logics, containing the prominent logics of left-continuous t-norms and uninorms.