O dosvědčených modelech fuzzy logiky II

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00086272" target="_blank" >RIV/67985807:_____/07:00086272 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
On Witnessed Models in Fuzzy Logic II
Popis výsledku v původním jazyce
First the expansion of the Łukasiewicz (propositional and predicate) logic by the unary connectives of dividing by any natural number (Rational Łukasiewicz logic) is studied; it is shown that in the predicate case the expansion is conservative w. r. t. witnessed standard 1-tautologies. This result is used to prove that the set of witnessed standard 1-tautologies of the predicate product logic is Pi2-hard.
Název v anglickém jazyce
On Witnessed Models in Fuzzy Logic II
Popis výsledku anglicky
First the expansion of the Łukasiewicz (propositional and predicate) logic by the unary connectives of dividing by any natural number (Rational Łukasiewicz logic) is studied; it is shown that in the predicate case the expansion is conservative w. r. t. witnessed standard 1-tautologies. This result is used to prove that the set of witnessed standard 1-tautologies of the predicate product logic is Pi2-hard.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
<a href="/cs/project/IAA100300503" target="_blank" >IAA100300503: Matematické základy inference a rozhodování za nejistoty</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2007
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ů

Podobné výsledky(10)