0405310 - UIVT-O 330679 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr
Short Note: On the Redundancy of Axiom (A3) in BL and MTL.
[Poznámka: o redundanci axiomu (A3) v BL a MTL.]
Soft Computing. Roč. 9, - (2005), s. 942-942. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: axiomatic system * redundacy * MTL logic * basic logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.538, rok: 2005

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.

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.
Trvalý link: http://hdl.handle.net/11104/0125483