Počet záznamů: 1
Omitting Types Theorem for Fuzzy Logics
- 1.0491823 - ÚI 2020 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem for Fuzzy Logics.
IEEE Transactions on Fuzzy Systems. Roč. 27, č. 2 (2019), s. 273-277. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 9.518, rok: 2019
Způsob publikování: Open access
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.
Trvalý link: http://hdl.handle.net/11104/0285439
Název souboru Staženo Velikost Komentář Verze Přístup 08410791-aoa.pdf 7 187.1 KB OpenAccess Vydavatelský postprint povolen a0491823prep.pdf 3 265.7 KB Autorský preprint vyžádat
Počet záznamů: 1