Truth-Preservation under Fuzzy pp-Formulas
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00511512" target="_blank" >RIV/67985807:_____/19:00511512 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1142/S0218488519400051" target="_blank" >http://dx.doi.org/10.1142/S0218488519400051</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S0218488519400051" target="_blank" >10.1142/S0218488519400051</a>
Alternative languages
Result language
angličtina
Original language name
Truth-Preservation under Fuzzy pp-Formulas
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems
ISSN
0218-4885
e-ISSN
—
Volume of the periodical
27
Issue of the periodical within the volume
Suppl. 1
Country of publishing house
SG - SINGAPORE
Number of pages
17
Pages from-to
89-105
UT code for WoS article
000495443400006
EID of the result in the Scopus database
2-s2.0-85074657236