Omitting Types Theorem for Fuzzy Logics

Authors: Petr Cintula, D. Diaconescu
Publication year: 2019
Publication type: Článek v odborném periodiku
Periodical: IEEE Transactions on Fuzzy Systems
Projects: Predicate graded logics and their applications to computer science
Bibliographic citation: 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 record: View online record

Abstract

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.