Search results
- 1.0411400 - UTIA-B 20050130 RIV ES eng C - Conference Paper (international conference)
Kroupa, Tomáš
Towards formal theory of measure on clans of fuzzy sets.
[O formalni teorii miry na fuzzy mnozinach.]
Barcelona: Universitat Politecnica de Catalunya, 2005. ISBN 84-7653-872-3. In: Proceedings of the Joint EUSFLAT-LFA 2005 Conference. - (Montseny, E.; Sobrevilla, P.), s. 351-356
[Conference of the European Society for Fuzzy Logic /4./ and Technology and Rencontres Phrancophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
R&D Projects: GA AV ČR KJB100300502; GA MŠMT 1M0572
Institutional research plan: CEZ:AV0Z10750506
Keywords : fuzzy measures * clans * fuzzy mathematics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0131482 - 2.0405627 - UIVT-O 336009 US eng A - Abstract
Cintula, Petr
Formal Fuzzy Mathematics.
Forging New Frontiers. Berkeley: University of California, 2005. s. 139.
[BISCSE 2005. Fuzzy Pioneers (1965-2005) /40./. 02.11.2005-05.11.2005, Berkeley]
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal fuzzy mathematics * fuzzy class theory
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125774 - 3.0405623 - UIVT-O 336005 RIV NL eng J - Journal Article
Běhounek, Libor - Cintula, Petr
From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto.
[Od fuzzy logiky k fuzzy matematice: metodologický manifest.]
Fuzzy Sets and Systems. Roč. 157, č. 5 (2006), s. 642-646. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-classical logics * formal fuzzy logic * formal fuzzy mathematics * high-order fuzzy logic
Subject RIV: BA - General Mathematics
Impact factor: 1.181, year: 2006
Permanent Link: http://hdl.handle.net/11104/0125772File Download Size Commentary Version Access 0405623.pdf 15 604.4 KB Author´s preprint open-access - 4.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 - 5.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 - 6.0405425 - UIVT-O 330797 SK eng A - Abstract
Cintula, Petr - Běhounek, Libor
Formal Theories of Mathematical Structures with Vagueness.
Mathematics, Geometry and their Applications. Bratislava: STU Publishing House, 2004 - (Mesiar, E.; Saminger, S.; Ipolyiová, M.; Struk, P.). s. 7-10. ISBN 80-227-2165-4.
[MAGIA UWPM. 15.10.2004-17.10.2004, Kočovice SK, Weyereng am Attersee]
Institutional research plan: CEZ:AV0Z1030915
Keywords : formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125593 - 7.0405322 - UIVT-O 330693 AT eng A - Abstract
Bodenhofer, U. - Běhounek, Libor - Cintula, Petr
Relations in Higher-order Fuzzy Logic III.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 20-22
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
R&D Projects: GA MŠMT OC 274.001; GA AV ČR KJB100300502; GA ČR GD401/03/H047
Grant - others:COST(XE) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Source of funding: V - Other public resources
Keywords : formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125495 - 8.0405314 - UIVT-O 330685 AT eng A - Abstract
Běhounek, Libor - Cintula, Petr
Relations in Higher-Order Fuzzy Logic I,II.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 10-15
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
R&D Projects: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant - others:COST(XE) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125487 - 9.0405252 - UIVT-O 330486 RIV NL eng J - Journal Article
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory.
[Teorie fuzzy tříd.]
Fuzzy Sets and Systems. Roč. 154, - (2005), s. 34-55. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA AV ČR IAA1030004; GA MŠMT OC 274.001
Grant - others:COST(EU) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Subject RIV: BA - General Mathematics
Impact factor: 1.039, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125435File Download Size Commentary Version Access 0405252.pdf 10 742.7 KB Author´s preprint open-access - 10.0391884 - ÚI 2014 RIV eng U - Conference, Workshop Arrangement
Běhounek, Libor - Cintula, Petr
Non-Classical Mathematics. Workshop at UNILOG 2013.
[Rio de Janeiro, 03.04.2013, (W-WRD 15/10)]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : non-classical mathematics * constructive mathematics * inconsistent mathematics * fuzzy mathematics
Subject RIV: BA - General Mathematics
http://www.uni-log.org/ss4-NCM.html
Permanent Link: http://hdl.handle.net/11104/0220856