外延的真理様相の論理としての部分論理
スポンサーリンク
概要
- 論文の詳細を見る
In [Kachi 2002a] I made comparison between several definitions of validity in Simple Partial Logic (SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof theory and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we can regard SPL as a logic of extensional alethic modality.
- 科学基礎論学会の論文
- 2007-03-25
著者
関連論文
- D-12-56 オントロジーに基づくロボットビジョンの提案(D-12.パターン認識・メディア理解B(コンピュータビジョンとコンピュータグラフィックス),一般セッション)
- 外延的真理様相の論理としての部分論理
- オントロジー構築のための実在論的方法論
- D-12-58 オントロジーに基づく対話を援用した物体認識の検討(D-12.パターン認識・メディア理解B(コンピュータビジョンとコンピュータグラフィックス))