古典的否定を考慮に入れた矛盾許容型論理について

• 藁谷 敏晴

  東京工業大学

• 大森 仁

  東京工業大学

書誌事項

タイトル別名

• A System of Paraconsistent Logic Equipped with Classical Negation
• コテンテキ ヒテイ オ コウリョ ニ イレタ ムジュン キョヨウガタ ロンリ ニ ツイテ

抄録

In a paper by Waragai and Shidori, a system of paraconsistent logic called PCL1 was proposed and a result showing the relation between PCL1 and the system of Modal Logic S5 was given. Though the classical negation plays an important role in the result, it was treated in an abstract way, so the present paper focuses on the concrete treatment of classical negation in PCL1 and makes the condition to enrich PCL1 with classical negation explicit. For this purpose, strong negation, which is defined by using a bottom particle in PCL1, is introduced and some of its results will be given. Also the notion of "behaving classically" in the extended system will be discussed.

収録刊行物

• 科学基礎論研究

  科学基礎論研究 36 (1), 9-18, 2009

  科学基礎論学会

詳細情報

• CRID: 1390001205322918528
• NII論文ID: 110008660968
• NII書誌ID: AN00036945
• DOI: 10.4288/kisoron.36.1_9
• ISSN: 18841236
• ISSN: 00227668
• NDL書誌ID: 10323232
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10323232
• Web Site: https://www.jstage.jst.go.jp/article/kisoron/36/1/36_KJ00007224854/_pdf
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可