Number of the records: 1  

Truth-Preservation under Fuzzy pp-Formulas

  1. 1.
    0511512 - ÚI 2020 RIV SG eng J - Journal Article
    Dellunde, P. - Vidal, Amanda
    Truth-Preservation under Fuzzy pp-Formulas.
    International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 27, Suppl. 1 (2019), s. 89-105. ISSN 0218-4885. E-ISSN 1793-6411
    R&D Projects: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Institutional support: RVO:67985807
    Keywords : First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
    OECD category: Pure mathematics
    Impact factor: 1.375, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1142/S0218488519400051

    How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic approach to the analysis of complexity in fuzzy constraint satisfaction. We study fuzzy positive-primitive sentences, and we present an algebraic characterization of classes axiomatized by this kind of sentences in terms of homomorphisms and direct products. The ultimate goal is to study the expressiveness and reasoning mechanisms of non-classical languages, with respect to constraint satisfaction problems and, in general, in modelling decision scenarios.
    Permanent Link: http://hdl.handle.net/11104/0301759

     
     
Number of the records: 1  

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