Number of the records: 1
Short Note: On the Redundancy of Axiom (A3) in BL and MTL
- 1.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
File Download Size Commentary Version Access 0405310.pdf 6 581.6 KB Author´s preprint open-access
Number of the records: 1