外延的真理様相の論理としての部分論理 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-03-25 

    JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE

参考文献:  20件

参考文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

各種コード

  • NII論文ID(NAID)
    10018919292
  • NII書誌ID(NCID)
    AN00036945
  • 本文言語コード
    JPN
  • 資料種別
    ART
  • ISSN
    02227668
  • NDL 記事登録ID
    8838094
  • NDL 雑誌分類
    ZM4(科学技術--科学技術一般--自然科学)
  • NDL 請求記号
    Z14-80
  • データ提供元
    CJP書誌  NDL  J-STAGE 
ページトップへ