Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Outline of functional features of EUOHILOS	.... 4
3	Proof construction facilities and proof methods in EUODHILOS	.... 6
3.1	Proof construction facilities	.... 7
3.2	Proof methods	.... 8
4	An illustative example in intuitionstic type theory	.... 14
4.1	Specifying a logic	.... 15
4.2	Constructing a proof in the specified logic	.... 19
5	Concluding remarks	.... 23
	Acknowledgements	.... 26
	References	.... 26
	Appendix 1.Intuitionistic type and a constructive proof	.... 29
	End	.... 30

目次をクリックすると、PDFファイルが表示されます。