Contents of Report

[Data of Report]

Report Number:: TR0426
Date of Registration:: 1988.10
English Title:: Potentials of General-Purpose Reasoning Assistant System EUODHILOS
Japanese Title:: ***
English Author:: H.Sawamura,T.Minami,K.Sato,K.Tsuchiya
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu,Fujitsu,Fujitsu,Fujitsu
PDF:: tr0426.pdf

	Summary	.... 2
1	Introduction	.... 2
2	Need,Signficance and Design Philosophy	.... 4
3	Overview of EUODHILOS	.... 5
3.1	Functional Features	.... 5
3.2	Implementation	.... 11
4	Experiments and Experiences with EUODHILOS	.... 12
4.1	Martin-Lof's intutionistic type theory	.... 12
4.2	Hoare logic for Program verification	.... 16
4.3	First-Order logic with NK	.... 19
4.4	Propositial modal logic (T)	.... 20
4.5	Intensional logic and reflective proof	.... 20
5	Related Works	.... 20
6	Concluding Remarks and Future Research Directions	.... 21
	Acknowledgements	.... 23
	References	.... 23
	End	.... 25

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