Omitting Types Theorem for Fuzzy Logics
Autor: | Petr Cintula, Denisa Diaconescu |
---|---|
Rok vydání: | 2019 |
Předmět: |
Model theory
Class (set theory) Computer science Applied Mathematics 02 engineering and technology Fuzzy logic Electronic mail Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computational Theory and Mathematics Artificial Intelligence Control and Systems Engineering Computer Science::Logic in Computer Science 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Algebra over a field |
Zdroj: | IEEE Transactions on Fuzzy Systems. 27:273-277 |
ISSN: | 1941-0034 1063-6706 |
Popis: | 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. |
Databáze: | OpenAIRE |
Externí odkaz: |