-
- 加地 大介
- 埼玉大学
書誌事項
- タイトル別名
-
- Partial Logic as a Logic of Extensional Alethic Modality
- ガイエンテキ シンリ ヨウソウ ノ ロンリ ト シテ ノ ブブン ロンリ
この論文をさがす
抄録
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.
収録刊行物
-
- 科学基礎論研究
-
科学基礎論研究 34 (2), 61-70, 2007
科学基礎論学会
- Tweet
詳細情報
-
- CRID
- 1390282680300462720
-
- NII論文ID
- 10018919292
-
- NII書誌ID
- AN00036945
-
- ISSN
- 18841236
- 00227668
-
- NDL書誌ID
- 8838094
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- Crossref
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可