Contents of Report

[Data of Report]

1	What is situation theory?	.... 2
2	A review of some past work	.... 3
2.1	AFA and extensional reductions	.... 3
2.2	Formalizing situation theory	.... 4
2.3	A set-theoretic formalization	.... 6
3	Introducing support-maps	.... 7
3.1	Support-maps and support-predicates	.... 8
3.2	Support-maps and information flow	.... 8
3.3	Some examples(classical,intuitionistic and everydey reasoning)	.... 11
4	Further work	.... 14
5	Conclusion	.... 14
	Acknowledgments	.... 14
	References	.... 15
	End	.... 16

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