Search results
- 1.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 - 2.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 - 3.0347323 - ÚI 2011 RIV CZ eng G - Proceedings (international conference)
Chvalovský, Karel (ed.) - Cintula, Petr (ed.) - Noguera, C. (ed.)
Logic, Algebra and Truth Degrees 2010.
Prague: ITI Charles University, 2010. 168 s. ITI Series, 2010-502..
[Logic, Algebra and Truth Degrees 2010. Prague (CZ), 07.09.2010-11.09.2010]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * algebraic logic * proof theory * degree of truth
Subject RIV: BA - General Mathematics
http://iti.mff.cuni.cz/series/
Permanent Link: http://hdl.handle.net/11104/0188125File Download Size Commentary Version Access 0347323.pdf 2 1.7 MB Publisher’s postprint open-access - 4.0347315 CZ BXXS
Chvalovský, K. (ed.) - Cintula, P. (ed.) - Noguera, C. (ed.)
Logic, Algebra and Truth Degrees 2010.
Prague: ITI Charles University, 2010. ITI Series, 2010-502. - 5.0175451 - MU-W 20030203 RIV CZ eng V - Research Report
Tichý, Tomáš
Multiprocessor Randomized On-line Scheduling.
Praha: Institute for Theoretical Computer Science, Charles University, 2002. 10 s. ITI Series 2002-069.
R&D Projects: GA MŠMT LN00A056; GA ČR GA201/01/1195; GA MŠMT ME 476
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : online * randomized * scheduling
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0072434 - 6.0175445 - MU-W 20030198 RIV CZ eng V - Research Report
Král, D. - Sgall, Jiří
Coloring graphs from lists with bounded size of their union. KAM-DIMATIA. Series 2003-641 and ITI Series 2003-156.
Praha: Charles University, 2003. 12 s. KAM-DIMATIA.
R&D Projects: GA MŠMT LN00A056; GA ČR GA201/01/1195
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : graph coloring * list coloring
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0072428 - 7.0089500 - ÚI 2008 CZ eng V - Research Report
Bílková, Marta
Feasible Disjunction Property and Feasible Interpolation in Modal Logic.
Prague: ITI Charles University, 2007. 15 s. ITI Series, 2007-341.
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : interpolation * modal logic * disjunction property * feasible interpolation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150695