A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS.
In this paper we describe an intuitionistic theory SLP. It is a relatively strong theory containing intuitionistic principles for functionals of many types, in particular, the theory of the “creating subject”, axioms for lawless functionals and some versions of choice axioms. We construct a Beth mod...
| Publicado en: | Journal of Symbolic Logic Vol. 80; no. 3; pp. 1035 - 1066 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Sep2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |