Úvodní stránka
Ústav informatiky Akademie věd České republiky
  • english
  • česky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

  • Ústav
    • O nás
    • Struktura ústavu
    • Orgány ústavu
    • Poradní sbor
    • Výroční zprávy a rozpočty
    • Informace dle 106/1999 Sb.
    • Ochrana oznamovatelů
    • Expozice výpočetní techniky
    • Zásady ochrany soukromí
  • Výzkum
    • Publikace
    • Projekty
    • Předmět výzkumu
    • Ocenění
    • Soutěž o nejlepší publikaci
    • Popularizace vědy
  • Aplikace
    • Transfer technologií
    • Aplikovaná informatika
    • Kompetence
    • Reference
  • Aktuality
  • Události
  • Knihovna
    • O knihovně
    • Informační zdroje
    • Publikační činnost
    • Knihovna Petra Hájka
  • Kariéra
    • Pracovní příležitosti
    • Doktorská témata studia
    • Stáže Radius
  • Kontakty
Úvodní stránka
Ústav informatiky Akademie věd České republiky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

english česky
  • Ústav
    • O nás
    • Struktura ústavu
    • Orgány ústavu
    • Poradní sbor
    • Výroční zprávy a rozpočty
    • Informace dle 106/1999 Sb.
    • Ochrana oznamovatelů
    • Expozice výpočetní techniky
    • Zásady ochrany soukromí
  • Výzkum
    • Publikace
    • Projekty
    • Předmět výzkumu
    • Ocenění
    • Soutěž o nejlepší publikaci
    • Popularizace vědy
  • Aplikace
    • Transfer technologií
    • Aplikovaná informatika
    • Kompetence
    • Reference
  • Aktuality
  • Události
  • Knihovna
    • O knihovně
    • Informační zdroje
    • Publikační činnost
    • Knihovna Petra Hájka
  • Kariéra
    • Pracovní příležitosti
    • Doktorská témata studia
    • Stáže Radius
  • Kontakty
  1. Domů /
  2. Lidé /
  3. Rostislav Horčík

Rostislav Horčík

← Všechny osoby
  • Základní informace
  • Publikace
  • Projekty
Web of Science Scopus ASEP

Publikace

  • Přednáška: Jak se věda brání zdravému selskému rozumu (2013)
  • On the Structure of Finite Integral Commutative Residuated Chains (2011)
  • Alternative Proof of Standard Completeness Theorem for MTL (2007)
  • Structure of Commutative Cancellative Integral Residuated Lattices on (0,1] (2007)
  • On the Failure of Standard Completeness in PiMTL for Infinite Theories (2007)
  • On n-contractive Fuzzy Logics (2007)
  • Formal Systems of Fuzzy Logic and their Fragments (2007)
  • On Weakly Cancellative Fuzzy Logics (2006)
  • Decidability of Cancellative Extension of Monoidal t-norm Based Logic (2006)
  • Product Lukasiewicz Logic (2004)
  • Product Lukasiewicz Logic - An Overwiev (2003)

Projekty

  • Algebraické metody v teorii důkazů (2011–2015)
  • Složitost t-normových logik algebraický a důkazově teoretický přístup (2007–2009)

Ústav informatiky AV ČR, v.v.i.

Pod Vodárenskou věží 271/2
182 00 Praha 8
Kontakt

Telefon: (+420) 793 965 799
Email: ics@cs.cas.cz

  • test

© 2026 © Středisko společných činností AV ČR, v. v. i.

  • Cookies