Search results
- 1.0405462 - UIVT-O 330837 SIGLE CZ eng V - Research Report
Hájek, Petr
One More Variety in Fuzzy Logic: Quasihoops.
Prague: ICS AS CR, 2005. 6 s. Technical Report, V-937.
R&D Projects: GA MŠMT OC 274.001
Grant - others:COST(XE) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * continuous t-norms * quasihoops
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125626File Download Size Commentary Version Access v937-05.pdf 19 158.1 KB Other open-access - 2.0405197 - UIVT-O 20030203 CZ eng V - Research Report
Hájek, Petr - Harmancová, Dagmar
A Note on Dempster Rule.
Prague: ICS AS CR, 2003. 5 s. Technical Report, V-891.
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : Dempster-Shafer theory * belief functions * Dempster rule
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125391File Download Size Commentary Version Access v891-03.pdf 13 170.4 KB Other open-access - 3.0405012 - UIVT-O 20030060 CZ eng V - Research Report
Hájek, Petr
Fleas and Fuzzy Logic - A Survey.
Prague: ICS AS CR, 2003. 5 s. Technical Report, V-893.
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : mathematical fuzzy logic * basic fuzzy logic * monoidal t-norm logic * hoop logic * non-communicative fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125232File Download Size Commentary Version Access v893-03.pdf 13 93.6 KB Other open-access - 4.0404855 - UIVT-O 20020215 CZ eng V - Research Report
Hájek, Petr
Mathematical Fuzzy Logic - State of Art 2001.
Prague: ITI Charles University, 2001. 19 s. ITI Series, 2001-027.
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * BL-algebras * Lukasiewicz * Gödel * product logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125082 - 5.0404611 - UIVT-O 20020033 CZ eng V - Research Report
Hájek, Petr
Fuzzy Logic and Lindström's Theorem.
Prague: ICS AS CR, 2002. 5 s. Technical Report, V-874.
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * model theory * compactness * Löwenheim-Skolem theorem * Lindström theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124853File Download Size Commentary Version Access v874-02.pdf 20 96.3 KB Other open-access - 6.0404570 - UIVT-O 220424 CZ eng V - Research Report
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.
Institutional research plan: AV0Z1030915
Permanent Link: http://hdl.handle.net/11104/0124818File Download Size Commentary Version Access v859-02.pdf 16 2.2 MB Other open-access - 7.0404552 - UIVT-O 20010171 CZ eng V - Research Report
Hájek, Petr
Some Hedges for Continuous t-norm Logics.
Prague: ICS AS CR, 2001. 4 s. Technical Report, V-857.
R&D Projects: GA ČR GA201/00/1489
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * hedges * continuous t-norms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124801File Download Size Commentary Version Access v857-01.pdf 16 145.4 KB Other open-access - 8.0404312 - UIVT-O 20010096 CZ eng V - Research Report
Hájek, Petr
A New Small Emendation of Gödel's Ontological Proof.
Prague: ITI Charles University, 2001. 10 s. ITI Series, 2001-015.
Institutional research plan: AV0Z1030915
Keywords : ontological proof * Gödel proof * modal logic * comprehension * positive properties
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124571 - 9.0403343 - UIVT-O 970186 CZ eng V - Research Report
Hájek, Petr
Trakhtenbrot Theorem and Fuzzy Logic.
Prague: ICS AS CR, 1997. 6 s. Technical Report, V-737.
Grant - others:COST(XE) Action 15
Keywords : fuzzy logic * undecidability * finite model theory
Permanent Link: http://hdl.handle.net/11104/0123655File Download Size Commentary Version Access v737-97.pdf 9 143 KB Other open-access - 10.0403342 - UIVT-O 970185 CZ eng V - Research Report
Hájek, Petr
Basic Fuzzy Logic and BL-Algebras.
Prague: ICS AS CR, 1997. 12 s. Technical Report, V-736.
R&D Projects: GA AV ČR IAA1030601
Keywords : basic fuzzy logic * continuous t-norms * residuated lattices
Permanent Link: http://hdl.handle.net/11104/0123654File Download Size Commentary Version Access v736-97.pdf 10 171.5 KB Other open-access