On Witnessed Models in Fuzzy Logic II

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
On Witnessed Models in Fuzzy Logic II
Original language description
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.
Czech name
O dosvědčených modelech fuzzy logiky II
Czech description
V první části je studováno rozšíření Lukasiewiczovy (výrokové a predikátové) logiky o unární spojky dělení libovolným přirozeným čílem (racionální Lukasiewiczova logika); je ukázáno, ze toto rozšíření je konservativní vzhledem k dosvěčeným standardním (predikátovým) 1-tautologiím. Výsledek je použit k důkazu tvrzení, že množina dosvedčených standardních 1-tautologií je Pi2-těžká.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/IAA100300503" target="_blank" >IAA100300503: Mathematical foundation of inference and decision under uncertainty</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)