0411400 20240111140636.620060210235959.9 84-7653-872-3 Barcelona Universitat Politecnica de Catalunya 2005 6 s. CD-ROM 351-356MontsenyE.SobrevillaP. fuzzy measures clans fuzzy mathematics cav_un_auth*0101141 Kroupa Tomáš UTIA-B Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. 233 kB 12A KJB100300502 GA AV ČR cav_un_auth*0213236 1M0572 GA MŠk cav_un_auth*0001814 CEZ:AV0Z10750506 Measures on clans of fuzzy sets are traditionally studied as certain functionals on collections of [0,1]-valued functions. The goal of this paper is to make first steps towards establishing this part of fuzzy mathematics as a formal theory over a suitable predicate fuzzy logic. Two concepts of formal measure theory are sketched within Henkin-style higher-order fuzzy logic. Miry na klanech fuzzy mnozin myly tradicne pojimany jako jiste funkcionaly pusobici na kolekcich funkci s hodnotami v intervalu [0,1]. V clanku je tato teorie chapana jako ciste formalni teorie v ramci predikatove fuzzy logiky vyssiho radu. cav_un_auth*0213235 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 BA 2006 MTR http://hdl.handle.net/11104/0131482 UTIA-B 20050130 2005 2005 Barcelona Universitat Politecnica de Catalunya 84-7653-872-3 233 kB Proceedings of the Joint EUSFLAT-LFA 2005 Conference 351 356 Montseny E. 340 Sobrevilla P. 340