On the polynomial-space completeness of intuitionistic propositional logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F03%3A00008262" target="_blank" >RIV/00216208:11210/03:00008262 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
On the polynomial-space completeness of intuitionistic propositional logic
Original language description
An alternative, purely semantical and relatively simple, proof of the Statman's result that both intuitionistic propositional logic and its implicational fragment are PSPACE-complete.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA401%2F01%2F0218" target="_blank" >GA401/01/0218: Modal and Many-valued Logics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Archive for Mathematical Logic
ISSN
0933-5846
e-ISSN
—
Volume of the periodical
42
Issue of the periodical within the volume
7
Country of publishing house
SR - SURINAME
Number of pages
6
Pages from-to
711-716
UT code for WoS article
—
EID of the result in the Scopus database
—