Number of the records: 1  

Omitting Types Theorem for Fuzzy Logics

  1. 1.
    0491823 - ÚI 2020 RIV US eng J - Journal Article
    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
    R&D Projects: GA ČR GA17-04630S
    Institutional support: RVO:67985807
    Keywords : mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 9.518, year: 2019
    Method of publishing: 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.
    Permanent Link: http://hdl.handle.net/11104/0285439

     
    FileDownloadSizeCommentaryVersionAccess
    08410791-aoa.pdf7187.1 KBOpenAccessPublisher’s postprintopen-access
    a0491823prep.pdf3265.7 KBAuthor´s preprintrequire
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.