A Note on the Notion of Truth in Fuzzy Logic.
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F01%3A06010008" target="_blank" >RIV/67985807:_____/01:06010008 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A Note on the Notion of Truth in Fuzzy Logic.
Popis výsledku v původním jazyce
In fuzzy predicate logic, assignment of truth values may be partial, (due to lack of some infinite suprema or infima in the underlying structure of truth values). A logic is supersound if each provable formula phi is true (has truth value 1) in each interpretation in which the truth value of phi is defined. It is shown that among the logics given by continuous t-norms, Gödel logic is the only one that is supersound all others are (sound but) not supersound.
Název v anglickém jazyce
A Note on the Notion of Truth in Fuzzy Logic.
Popis výsledku anglicky
In fuzzy predicate logic, assignment of truth values may be partial, (due to lack of some infinite suprema or infima in the underlying structure of truth values). A logic is supersound if each provable formula phi is true (has truth value 1) in each interpretation in which the truth value of phi is defined. It is shown that among the logics given by continuous t-norms, Gödel logic is the only one that is supersound all others are (sound but) not supersound.
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
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2001
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
Annals of Pure and Applied Logic
ISSN
0168-0072
e-ISSN
—
Svazek periodika
109
Číslo periodika v rámci svazku
N/A
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
5
Strana od-do
65-69
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—