Search results
- 1.0405647 - UIVT-O 336029 RIV CN eng C - Conference Paper (international conference)
Coufal, David
Representation of Continuous Archimedean Radial Fuzzy Systems.
[Radiální implifikační fuzzy systémy.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1174-1179. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
R&D Projects: GA MŠMT 1M0545
Keywords : radial fuzzy system * lp-norm * continuous Archimedean t-norm
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125788 - 2.0405533 - UIVT-O 330911 RIV CN eng C - Conference Paper (international conference)
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory as Foundations for Fuzzy Mathematics.
[Teorie fuzzy tříd jakožto základy fuzzy matematiky.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1233-1238. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
R&D Projects: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant - others:COST(EU) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Keywords : axiomatic fuzzy set theory * fuzzy logic LPi * fuzzy mathematics * proof methods in fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125691File Download Size Commentary Version Access 0405533.pdf 0 570.5 KB Author´s preprint open-access - 3.0405532 - UIVT-O 330910 RIV CN eng C - Conference Paper (international conference)
Běhounek, Libor - Cintula, Petr
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus.
[Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1227-1232. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
R&D Projects: GA AV ČR KJB100300502; GA MŠMT 1M0545
Keywords : fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125690File Download Size Commentary Version Access 0405532.pdf 0 576.3 KB Author´s preprint open-access