Integrating intuitionistic and classical theories
Fundamenta Mathematicae (1981)
- Volume: 112, Issue: 2, page 125-140
- ISSN: 0016-2736
Access Full Article
top
How to cite
topLópez-Escobar, E.. "Integrating intuitionistic and classical theories." Fundamenta Mathematicae 112.2 (1981): 125-140. <http://eudml.org/doc/211247>.
@article{López1981,
author = {López-Escobar, E.},
journal = {Fundamenta Mathematicae},
keywords = {intuitionism; intuitionistic theory of species; omega-rules; Beth models; completeness; disjunction property; Heyting's arithmetic plus unary predicate variables},
language = {eng},
number = {2},
pages = {125-140},
title = {Integrating intuitionistic and classical theories},
url = {http://eudml.org/doc/211247},
volume = {112},
year = {1981},
}
TY - JOUR
AU - López-Escobar, E.
TI - Integrating intuitionistic and classical theories
JO - Fundamenta Mathematicae
PY - 1981
VL - 112
IS - 2
SP - 125
EP - 140
LA - eng
KW - intuitionism; intuitionistic theory of species; omega-rules; Beth models; completeness; disjunction property; Heyting's arithmetic plus unary predicate variables
UR - http://eudml.org/doc/211247
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.