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ů