Search results

  1. 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. 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. 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/0188125
    FileDownloadSizeCommentaryVersionAccess
    0347323.pdf21.7 MBPublisher’s postprintopen-access
     
     
  4. 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. 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. 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. 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
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.