What is primary: negation or implication?
Result description
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).
Keywords
fuzzy setfuzzy logicinvolutive fuzzy negationtriangular normHamacher product
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
What is primary: negation or implication?
Original language description
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).
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Witnessed Years: Essays in Honour of Petr Hajek
ISBN
978-1-904987-63-5
Number of pages of the result
15
Pages from-to
—
Number of pages of the book
416
Publisher name
King's College
Place of publication
London
UT code for WoS chapter
—
Result type
C - Chapter in a specialist book
CEP
BA - General mathematics
Year of implementation
2009