Preview
Unable to display preview. Download preview PDF.
References
Bishop, E. and D. Bridges (1985) Constructive Analysis, Springer.
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.
Heyting, A. (1925) Intuitionistische Axiomatik der Projektieve Meetkunde, P. Nordhoff, Groningen.
Heyting, A. (1959) Axioms for intuitionistic plane affine geometry, in L. Henkin et al. (eds.) The Axiomatic Method, pp. 160–173, North-Holland, Amsterdam.
Kahn, G. (1995) Constructive geometry according to Jan von Plato, report, INRIA, Sophia-Antipolis.
von Plato, J. (1995) The axioms of constructive geometry, Annals of Pure and Applied Logic, vol. 76, pp. 169–200.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
von Plato, J. (1996). Organization and development of a constructive axiomatization. In: Berardi, S., Coppo, M. (eds) Types for Proofs and Programs. TYPES 1995. Lecture Notes in Computer Science, vol 1158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61780-9_76
Download citation
DOI: https://doi.org/10.1007/3-540-61780-9_76
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61780-8
Online ISBN: 978-3-540-70722-6
eBook Packages: Springer Book Archive