Contents of Report
[Data of Report]
Report Number:
TM0463
Date of Registration:
1988.02
English Title:
***
Japanese Title:
相殺公理のための完全な推論体系
English Author:
K.Sakai
Japanese:
坂井 公
Name of Organization to which author belongs:
ICOT
PDF:
tm0463.pdf
[Contents]
概要
.... 2
1
はじめに
.... 2
2
準備
.... 2
3
相殺公理のための推論法則
.... 4
4
強単純化のもとでの推論法則
.... 6
5
完全性
.... 9
6
むすび
.... 13
参考文献
.... 14
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda