What is primary: negation or implication?
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F09%3A00164997" target="_blank" >RIV/68407700:21230/09:00164997 - 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
What is primary: negation or implication?
Popis výsledku v původním jazyce
We compare R-fuzzy logics (based on an implication interpreted by the residuum of a triangular norm) and S-fuzzy logics (based on an involutive negation and using a different interpretation of implication). We show that the former approach (promoted by Petr H{' a}jek) leads to much richer logical results. Then we discuss extensions of R-fuzzy logics by an involutive negation as a new connective. These combine the features of both preceding approaches. We summarize recent results of this branch of research (which was also initiated by Petr Hájek).
Název v anglickém jazyce
What is primary: negation or implication?
Popis výsledku anglicky
We compare R-fuzzy logics (based on an implication interpreted by the residuum of a triangular norm) and S-fuzzy logics (based on an involutive negation and using a different interpretation of implication). We show that the former approach (promoted by Petr H{' a}jek) leads to much richer logical results. Then we discuss extensions of R-fuzzy logics by an involutive negation as a new connective. These combine the features of both preceding approaches. We summarize recent results of this branch of research (which was also initiated by Petr Hájek).
Klasifikace
Druh
C - Kapitola v odborné knize
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í
2009
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 knihy nebo sborníku
Witnessed Years: Essays in Honour of Petr Hajek
ISBN
978-1-904987-63-5
Počet stran výsledku
15
Strana od-do
—
Počet stran knihy
416
Název nakladatele
King's College
Místo vydání
London
Kód UT WoS kapitoly
—