Decision Problems of some Intermediate Logics and Their Fragments
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Decision Problems of some Intermediate Logics and Their Fragments
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů