| Abustruct | .... 2 | |
| Keywords | .... 2 | |
| Introduction | .... 3 | |
| 1 | Preliminaries | .... 5 |
| 2 | Boolean-valued Unification | .... 8 |
| 3 | Theoretical Background of Inference Transformation | .... 11 |
| 4 | B-valied Interpretation of --unification | .... 16 |
| 5 | Concluding Remarks | .... 19 |
| Reference | .... 20 | |
| End | .... 21 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports