| [ 長期研究 ] |
- テーマ
- 非古典論理とその応用
|
- 内容
- 形式体系としての非古典論理の性質を研究するとともに、それの計算機科学などへの応用についても研究する。
|
| [ 短期研究 ] |
- テーマ
-
- 証明可能性の論理と解釈可能性の論理の研究
- 非古典論理におけるリンデンバウム代数と標準形の論理式
|
- 内容
-
- 算術体系との対応が知られている証明可能性の論理と解釈可能性の論理の性質を研究する。
- 非古典論理Lにおいて、論理式の集合をある集合Sに制限したときの順序構造(S/≡,≦)を帰納的に構成し、論理式と論理式の導出関係、本質的に必要な論理式を明らかにする。ただし、≡はLの証明可能性を法とする同値関係、≦はLでの導出関係である。
|
| [ 趣味・特技など ] |
バスケットボール |
| [ 皆様へメッセージ ] |
- |