Contents of Report
[Data of Report]
Report Number:
TR0784
Date of Registration:
1992.07
English Title:
***
Japanese Title:
等式論理の帰納的定理を証明する手続き
English Author:
A.Ohsuga,K.Sakai
Japanese:
大須賀 昭彦,坂井 公
Name of Organization to which author belongs:
Toshiba,Tukuba Univ.
PDF:
tr0784.pdf
[Contents]
概要
.... 2
1
はじめに
.... 2
2
等式論理の帰納的定理
.... 3
3
矛盾による帰納的定理の証明
.... 3
4
項書換え技術
.... 4
5
帰納的定理証明のための推論規則
.... 4
6
証明例
.... 5
7
推論規則の完全性
.... 6
8
証明手続きの実現
.... 8
9
おわりに
.... 9
参考文献
.... 10
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports