Failure of completeness properties of intuitionistic predicate logic for constructive models
Annales scientifiques de l'Université de Clermont. Mathématiques (1976)
- Volume: 60, Issue: 13, page 93-107
- ISSN: 0249-7042
Access Full Article
top
How to cite
topLeivant, Daniel. "Failure of completeness properties of intuitionistic predicate logic for constructive models." Annales scientifiques de l'Université de Clermont. Mathématiques 60.13 (1976): 93-107. <http://eudml.org/doc/80442>.
@article{Leivant1976,
author = {Leivant, Daniel},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {eng},
number = {13},
pages = {93-107},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Failure of completeness properties of intuitionistic predicate logic for constructive models},
url = {http://eudml.org/doc/80442},
volume = {60},
year = {1976},
}
TY - JOUR
AU - Leivant, Daniel
TI - Failure of completeness properties of intuitionistic predicate logic for constructive models
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1976
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 60
IS - 13
SP - 93
EP - 107
LA - eng
UR - http://eudml.org/doc/80442
ER -
References
top- Kleene, S.C. [52], Introduction to Metamathematics, Wolters-Noordhoff, Groningen, 1952. [69], Formalized Recursive Functionals and Formalized Realizability, Memoirs of the AMS89 (1969). Zbl0184.02004MR244002
- Kreisel, G. [70], Church's thesis: a kind of reducibility axiom of constructive mathematics ; in lntuitionism and Proof Theory. (eds. Kino, Myhill, Vesley) (North Holland, Amsterdam, 1970), pp. 121-150. Zbl0199.30001MR278903
- Kreisel, G. and Troelstra, A.S. [70], Formal systems for some branches of intuitionistic analysis; Annals of Mathematical Logic1 (1970), pp. 229-387. Zbl0211.01101MR263609
- Leivant, D. [75], Absoluteness of Intuitionistic Logic; PhD dissertation, University of Amsterdam (Mathematisch Centrum, Amsterdam, 1975). Zbl0459.03024MR527625
- Prawitz, D. [71 ], Ideas and results of Proof Theory; in Proceedings of the Second Scandinavian Logic Symposium (ed. Fenstad) (North Holland, Amsterdam1971), pp. 235-307. Zbl0226.02031MR387024
- Rogers, H. [67], The Theory of Recursive Functions and Effective Computability (McGraw-Hill, New York, 1967). Zbl0183.01401MR224462
- Tarski, A. [36], Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Phil.1 (1936) 261-405. English translation in: Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, pp. 152-278. Zbl0013.28903JFM62.1051.05
- Troelstra, A.S. [76], Completeness and validity for intuitionistic predicate logic; Zbl0439.03009
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.