Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	LJ-to-Transformation	.... 2
2.1	The Basic Idea	.... 3
2.2	Definition of w	.... 3
2.3	Some Comments on w	.... 5
3	LK-to-NK Transfomation	.... 5
3.1	The Basic Idea	.... 5
3.2	Definition of x	.... 7
3.3	An extra transformation	.... 13
3.4	A Modification ofx;x'	.... 14
3.5	Alternatives for x	.... 14
4	Some Examples of w and x	.... 16
4.1	-> A A	.... 16
4.2	A B->A B	.... 17
5	Cut-Free Proof and Normal Proof	.... 17
6	Conclusion	.... 19
	Acknowledgements	.... 19
	References	.... 19
	A Several Concept	.... 20
	End	.... 21

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