Short Note: On the Redundancy of Axiom (A3) in BL and MTL
Result description
In this short note we prove the redundance of axiom (A3) of Hájek's Basic Fuzzy Logic. We also extend this result to Esteva and Godo's logic MTL.
Keywords
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
Short Note: On the Redundancy of Axiom (A3) in BL and MTL
Original language description
In this short note we prove the redundance of axiom (A3) of Hájek's Basic Fuzzy Logic. We also extend this result to Esteva and Godo's logic MTL.
Czech name
Poznámka: o redundanci axiomu (A3) v BL a MTL
Czech description
V tomto krátkém článku ukážeme redundanci axiomu (A3) v Hájkově základní fuzzy logice BL a rozšíříme tento výsledek i na další důležitou fuzzy logiku MTL.
Classification
Type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
IAA1030004: Mathematical foundations of inference under vagueness and uncertainty
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
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
Name of the periodical
Soft Computing
ISSN
1432-7643
e-ISSN
—
Volume of the periodical
9
Issue of the periodical within the volume
-
Country of publishing house
DE - GERMANY
Number of pages
1
Pages from-to
942
UT code for WoS article
—
EID of the result in the Scopus database
—
Basic information
Result type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP
BA - General mathematics
Year of implementation
2005