Výsledky vyhledávání
- 1.0454305 - FLÚ 2016 CZ cze, eng, slo J - Článek v odborném periodiku
Havlík, Vladimír (ed.)
Sedmkrát z logiky a metodologie vědy aneb artikulace - axiomatizace - demarkace - explanace - formalizace - instrumentalizace - matematizace.
[Seven times of logic and methodology of science: articulation - axiomatization - demarcation - explanation - formalization - instrumentalization - mathematization.]
Filosofický časopis. Roč. 63, mimořádné č. 3 (2015), s. 1-152. ISSN 0015-1831
Institucionální podpora: RVO:67985955
Klíčová slova: articulation * axiomatization * demarcation * explanation * formalization * instrumentalization * mathematization
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0255152 - 2.0405532 - UIVT-O 330910 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0545
Klíčová slova: fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125690Název souboru Staženo Velikost Komentář Verze Přístup 0405532.pdf 0 576.3 KB Autorský preprint povolen - 3.0404314 - UIVT-O 20010098 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana
Standard Algebras for Fuzzy Propositional Calculi.
Fuzzy Sets and Systems. Roč. 124, č. 3 (2001), s. 309-320. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GA201/00/1489
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * continuous t-norms * axiomatization
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.470, rok: 2001
Trvalý link: http://hdl.handle.net/11104/0124573Název souboru Staženo Velikost Komentář Verze Přístup 0404314.pdf 0 675.4 KB Autorský preprint povolen - 4.0404067 - UIVT-O 20010021 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Godo, L. - Esteva, F. - Hájek, Petr
A Fuzzy Modal Logic for Belief Functions.
Proceedings of the 17th International Joint Conference on Artificial Intelligence. Seattle: Morgan Kaufmann, 2001, s. 723-729. ISBN 1-55860-777-3.
[IJCAI-01. Seattle (US), 04.08.2001-10.08.2001]
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: belief functions * fuzzy logic * axiomatization
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124340Název souboru Staženo Velikost Komentář Verze Přístup 404067-h.pdf 5 130.3 KB Vydavatelský postprint vyžádat - 5.0404065 - UIVT-O 20010019 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
On Very True.
Fuzzy Sets and Systems. Roč. 124, č. 3 (2001), s. 329-333. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * hedges * axiomatization
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.470, rok: 2001
Trvalý link: http://hdl.handle.net/11104/0124338 - 6.0370206 - FLÚ 2012 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Havlík, Vladimír
The Scientific Status of Darwinism.
Knowledge, Value, Evolution. London: College Publications, 2011 - (Hříbek, T.; Hvorecký, J.), s. 85-98. Texts in Philosophy, 15. ISBN 978-1-84890-043-1.
[Knowledge, Value, Evolution. Praha (CZ), 23.11.2009-25.11.2009]
Grant CEP: GA ČR(CZ) GA401/08/0904
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: Darwinism * scientific theory * axiomatization
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0204075 - 7.0331705 - ÚI 2010 CZ eng V - Výzkumná zpráva
Haniková, Zuzana
Logics with Truth Constants for Delimiting Idempotents.
Prague: ICS AS CR, 2009. 9 s. Technical Report, V-1055.
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: propositional fuzzy logic * truth constants * axiomatization * computational complexity
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0177152Název souboru Staženo Velikost Komentář Verze Přístup v1055-09.pdf 15 235 KB Jiná povolen - 8.0316351 - ÚI 2009 CZ eng A - Abstrakt
Bílková, Marta
On the Co-algebraic Cover Modality.
Logica 2008. Prague: Filosofia, 2008. s. 14-15.
[Logica 2008. 16.06.2008-20.06.2008, Hejnice]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logic * coalgebra * proof theory * axiomatization * distributive laws
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0166298 - 9.0039211 - NHÚ 2007 RIV CZ eng J - Článek v odborném periodiku
Blavatskyy, Pavlo R.
Axiomatization of a preference for most probable winner.
[Axiomatizace preference pro nejpravděpodobnějšího vítěze.]
CERGE-EI Working Paper Series. -, č. 226 (2004), s. 1-41. ISSN 1211-3298
Výzkumný záměr: CEZ:AV0Z7085904
Klíčová slova: axiomatization * stochastic dominance * betweenness
Kód oboru RIV: AH - Ekonomie
http://www.cerge-ei.cz/pdf/wp/Wp226.pdf
Trvalý link: http://hdl.handle.net/11104/0133367