PiMTL nemá silnou standardní úplnost pro nekonečné teorie
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00079129" target="_blank" >RIV/67985807:_____/07:00079129 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/68407700:21230/07:03134167
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On the Failure of Standard Completeness in PiMTL for Infinite Theories
Popis výsledku v původním jazyce
It is well-known that Hájek's Basic Fuzzy Logic (BL), Lukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo's Monoidal T-norm Based Logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that PiMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Lukasiewicz, and product logic.
Název v anglickém jazyce
On the Failure of Standard Completeness in PiMTL for Infinite Theories
Popis výsledku anglicky
It is well-known that Hájek's Basic Fuzzy Logic (BL), Lukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo's Monoidal T-norm Based Logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that PiMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Lukasiewicz, and product logic.
Klasifikace
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
—
Návaznosti výsledku
Projekt
—
Návaznosti
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Ostatní
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ů
Údaje specifické pro druh výsledku
Název periodika
Fuzzy Sets and Systems
ISSN
0165-0114
e-ISSN
—
Svazek periodika
158
Číslo periodika v rámci svazku
6
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
6
Strana od-do
619-624
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—