0405310 - UIVT-O 330679 RIV DE eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: CEZ:AV0Z10300504
Keywords : axiomatic system * redundacy * MTL logic * basic logic
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 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.
Permanent Link: http://hdl.handle.net/11104/0125483