非可換部分構造論理における量子論理の含意について

• 上野, 岳史

書誌事項

タイトル別名

• On Implicational Connectives of Quantum Logics analyzed in Gentzen-style Natural Deduction for Non-commutative Substructural Logics
• ヒカカンブブン コウゾウ ロンリ ニ オケル リョウシ ロンリ ノ ガン イ ニ ツイテ

抄録

Birkhoff and von Neumann introduced Quantum Logic, in which the commonly agreed definition of the implicational connective has not yet achieved. Kotas proposed six formulations to define six implicational connectives. Ozawa introduced symmetrical relations among these implicational connectives. NFL is a Gentzen-style natural deduction for non-commutative substructural logic, which excludes three structural inference rules, i.e. contraction, weakening and exchange. We wll construct proof figures of NFL, augmented with other inference rules, to establish relations among the implicational connectives, so that the relevancies of inference rules, including structural rules such as exchange rule, are clarified.

収録刊行物

• 哲学

  哲学 52 71-90, 2018-12-02

  北海道大学哲学会

詳細情報

• CRID: 1050001339063779584
• NII論文ID: 120006723669
• NII書誌ID: AN0015042X
• HANDLE: 2115/75452
• NDL書誌ID: 029493521
• ISSN: 02872560
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I029493521
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles