Výsledky vyhledávání
- 1.0405462 - UIVT-O 330837 SIGLE CZ eng V - Výzkumná zpráva
Hájek, Petr
One More Variety in Fuzzy Logic: Quasihoops.
Prague: ICS AS CR, 2005. 6 s. Technical Report, V-937.
Grant CEP: GA MŠMT OC 274.001
Grant ostatní: COST(XE) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * continuous t-norms * quasihoops
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125626Název souboru Staženo Velikost Komentář Verze Přístup v937-05.pdf 19 158.1 KB Jiná povolen - 2.0405197 - UIVT-O 20030203 CZ eng V - Výzkumná zpráva
Hájek, Petr - Harmancová, Dagmar
A Note on Dempster Rule.
Prague: ICS AS CR, 2003. 5 s. Technical Report, V-891.
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: Dempster-Shafer theory * belief functions * Dempster rule
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125391Název souboru Staženo Velikost Komentář Verze Přístup v891-03.pdf 13 170.4 KB Jiná povolen - 3.0405012 - UIVT-O 20030060 CZ eng V - Výzkumná zpráva
Hájek, Petr
Fleas and Fuzzy Logic - A Survey.
Prague: ICS AS CR, 2003. 5 s. Technical Report, V-893.
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * monoidal t-norm logic * hoop logic * non-communicative fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125232Název souboru Staženo Velikost Komentář Verze Přístup v893-03.pdf 13 93.6 KB Jiná povolen - 4.0404855 - UIVT-O 20020215 CZ eng V - Výzkumná zpráva
Hájek, Petr
Mathematical Fuzzy Logic - State of Art 2001.
Prague: ITI Charles University, 2001. 19 s. ITI Series, 2001-027.
Grant CEP: GA MŠMT LN00A056
Klíčová slova: fuzzy logic * BL-algebras * Lukasiewicz * Gödel * product logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125082 - 5.0404611 - UIVT-O 20020033 CZ eng V - Výzkumná zpráva
Hájek, Petr
Fuzzy Logic and Lindström's Theorem.
Prague: ICS AS CR, 2002. 5 s. Technical Report, V-874.
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * model theory * compactness * Löwenheim-Skolem theorem * Lindström theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124853Název souboru Staženo Velikost Komentář Verze Přístup v874-02.pdf 20 96.3 KB Jiná povolen - 6.0404570 - UIVT-O 220424 CZ eng V - Výzkumná zpráva
Hájek, Petr - Havránek, Tomáš
Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory. Originally published by Springer-Verlag Berlin Heidelberg New York in 1978, ISBN 3-540-08738-9.
Prague: ICS AS CR, 2002. 321 s. Technical Report, V-859.
Výzkumný záměr: AV0Z1030915
Trvalý link: http://hdl.handle.net/11104/0124818Název souboru Staženo Velikost Komentář Verze Přístup v859-02.pdf 16 2.2 MB Jiná povolen - 7.0404552 - UIVT-O 20010171 CZ eng V - Výzkumná zpráva
Hájek, Petr
Some Hedges for Continuous t-norm Logics.
Prague: ICS AS CR, 2001. 4 s. Technical Report, V-857.
Grant CEP: GA ČR GA201/00/1489
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * hedges * continuous t-norms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124801Název souboru Staženo Velikost Komentář Verze Přístup v857-01.pdf 16 145.4 KB Jiná povolen - 8.0404312 - UIVT-O 20010096 CZ eng V - Výzkumná zpráva
Hájek, Petr
A New Small Emendation of Gödel's Ontological Proof.
Prague: ITI Charles University, 2001. 10 s. ITI Series, 2001-015.
Výzkumný záměr: AV0Z1030915
Klíčová slova: ontological proof * Gödel proof * modal logic * comprehension * positive properties
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124571 - 9.0403343 - UIVT-O 970186 CZ eng V - Výzkumná zpráva
Hájek, Petr
Trakhtenbrot Theorem and Fuzzy Logic.
Prague: ICS AS CR, 1997. 6 s. Technical Report, V-737.
Grant ostatní: COST(XE) Action 15
Klíčová slova: fuzzy logic * undecidability * finite model theory
Trvalý link: http://hdl.handle.net/11104/0123655Název souboru Staženo Velikost Komentář Verze Přístup v737-97.pdf 9 143 KB Jiná povolen - 10.0403342 - UIVT-O 970185 CZ eng V - Výzkumná zpráva
Hájek, Petr
Basic Fuzzy Logic and BL-Algebras.
Prague: ICS AS CR, 1997. 12 s. Technical Report, V-736.
Grant CEP: GA AV ČR IAA1030601
Klíčová slova: basic fuzzy logic * continuous t-norms * residuated lattices
Trvalý link: http://hdl.handle.net/11104/0123654Název souboru Staženo Velikost Komentář Verze Přístup v736-97.pdf 10 171.5 KB Jiná povolen