Intuitionistic Frege systems are polynomially equivalent.
Zapiski Nauchnykh Seminarov POMI (2004)
- Volume: 316, page 129-146
- ISSN: 0373-2703
Access Full Article
topHow to cite
topMints, G., and Kojevnikov, A.. "Intuitionistic Frege systems are polynomially equivalent.." Zapiski Nauchnykh Seminarov POMI 316 (2004): 129-146. <http://eudml.org/doc/224153>.
@article{Mints2004,
author = {Mints, G., Kojevnikov, A.},
journal = {Zapiski Nauchnykh Seminarov POMI},
keywords = {Frege system; proof system; polynomial equivalence},
language = {eng},
pages = {129-146},
publisher = {Nauka},
title = {Intuitionistic Frege systems are polynomially equivalent.},
url = {http://eudml.org/doc/224153},
volume = {316},
year = {2004},
}
TY - JOUR
AU - Mints, G.
AU - Kojevnikov, A.
TI - Intuitionistic Frege systems are polynomially equivalent.
JO - Zapiski Nauchnykh Seminarov POMI
PY - 2004
PB - Nauka
VL - 316
SP - 129
EP - 146
LA - eng
KW - Frege system; proof system; polynomial equivalence
UR - http://eudml.org/doc/224153
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.