Partial Logic as a Logic of Extensional Alethic Modality

• KACHI Daisuke

  Saitama University

Bibliographic Information

Other Title

• 外延的真理様相の論理としての部分論理
• ガイエンテキ シンリ ヨウソウ ノ ロンリ ト シテ ノ ブブン ロンリ

Abstract

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.

Journal

• Journal of the Japan Association for Philosophy of Science

  Journal of the Japan Association for Philosophy of Science 34 (2), 61-70, 2007

  Japan Association for Philosophy of Science

Details

• CRID: 1390282680300462720
• NII Article ID: 10018919292
• NII Book ID: AN00036945
• DOI: 10.4288/kisoron1954.34.61
• ISSN: 18841236
• ISSN: 00227668
• NDL BIB ID: 8838094
• Web Site: http://id.ndl.go.jp/bib/8838094
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8838094
• Text Lang: ja
• Data Source:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed