Truth-Preservation under Fuzzy pp-Formulas

Kód výsledku v 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>
Výsledek na webu
<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>

Jazyk výsledku
angličtina
Název v původním jazyce
Truth-Preservation under Fuzzy pp-Formulas
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Truth-Preservation under Fuzzy pp-Formulas
Popis výsledku anglicky
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.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems
ISSN
0218-4885
e-ISSN
—
Svazek periodika
27
Číslo periodika v rámci svazku
Suppl. 1
Stát vydavatele periodika
SG - Singapurská republika
Počet stran výsledku
17
Strana od-do
89-105
Kód UT WoS článku
000495443400006
EID výsledku v databázi Scopus
2-s2.0-85074657236

Podobné výsledky(10)