Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Decision Problems of some Intermediate Logics and Their Fragments

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F10%3A10077461" target="_blank" >RIV/00216208:11210/10:10077461 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Decision Problems of some Intermediate Logics and Their Fragments

  • Popis výsledku v původním jazyce

    Complexity of decision problem of propositional logics extending the intuitionistic logic, also under the restriction on the number of allowed atoms and the set of logical connectives, is discussed.

  • Název v anglickém jazyce

    Decision Problems of some Intermediate Logics and Their Fragments

  • Popis výsledku anglicky

    Complexity of decision problem of propositional logics extending the intuitionistic logic, also under the restriction on the number of allowed atoms and the set of logical connectives, is discussed.

Klasifikace

  • Druh

    O - Ostatní výsledky

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2010

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů