A generalized cut characterization of the fullness axiom in CZF
In: Logic Journal of IGPL, Jg. 21 (2012), Heft 1, S. 63-76
Online
academicJournal
Zugriff:
Titel: |
A generalized cut characterization of the fullness axiom in CZF
|
---|---|
Autor/in / Beteiligte Person: | Crosilla, L. ; Palmgren, E. ; Schuster, P. |
Link: | |
Zeitschrift: | Logic Journal of IGPL, Jg. 21 (2012), Heft 1, S. 63-76 |
Veröffentlichung: | Oxford University Press (OUP), 2012 |
Medientyp: | academicJournal |
ISSN: | 1367-0751 |
DOI: | 10.1093/jigpal/jzs022 |
Schlagwort: |
|
Sonstiges: |
|