Organization and development of a constructive axiomatization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1158 LNCS, Issue , 1996, Pages 288-296

  Von Plato, Jan ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21444443594     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61780-9_76     Document Type: Conference Paper

References (6)

1. Bishop, E. and D. Bridges (1985) Constructive Analysis, Springer.
2. Bridges, D. (1989) The constructive theory of preference relations on a locally compact space, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Ser. A92, pp. 141-165.
3. Heyting, A. (1925) Intuitionistische Axiomatik der Projektieve Meetkunde, P. NordhofT, Groningen.
4. Heyting, A. (1959) Axioms for intuitionistic plane affine geometry, In L. Hen. In et al. (Eds.) The Axiomatic Method, pp. 160-173, North-Holland, Amsterdam.
5. Kahn, G. (1995) Constructive geometry according to Jan von Plato, report, INRIA, Sophia-Antipolis.
6. von Plato, J. (1995) The axioms of constructive geometry, Annals of Pure and Applied Logic, Vol. 76, pp. 169-200.