权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

A modal logical construction of quantum logic that adds the missing concepts

量子逻辑的模态逻辑构造添加了缺失的概念

基本信息

批准号：
20K19740
负责人：
河野友亮
金额：
$ 2.41万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

昨年は主に2つの成果があった。一つ目は、新たな構造概念（基底表現や複数物理量）を導入した量子論理の論理モデルを構成し、そのモデル上で論理式を扱うことにより、より一般的な物理量観測のための命題を扱えるようになったというものである。従来の量子論理のモデルでは、限定的な、ある条件を満たした観測に対する命題しか表現できなかったが、新しく構成したモデルではより一般的な観測の命題を表現できるようになった。また、このモデルの上で様相記号を定義することにより、量子状態の空間であるヒルベルト空間の性質も、従来のモデルより細かく表現できる事も示した。ただし、「今後の研究の推進方策」の欄で述べるような、別の軸での改良が望まれる。この成果は、査読付き国際会議論文(DaLi237; 2022- Dynamic Logic: new trends and applications)にて発表済みである。もう一つは、前年度までに構成していた、複数の観測者を含む場合の認識量子論理の、演繹体系を改良したというものである。この論理は、複数のエージェント間で量子通信等をする際の各エージェントの知識の変動に関する命題を分析するものである。この改良した演繹体系では、以前には必要だった一部の複雑な演繹規則が除外され、よりシンプルな演繹体系を構成することに成功した。この成果は査読付き国際会議(LATD 2022: Logic, Algebra, & Truth Degrees)にて発表済みである。

Last year, the main 2. A new concept of structure (base representation and complex physical quantities) is introduced into the logic of quantum logic. In the future, quantum logic will not only be limited, but also be limited to the condition of the test, and the test will not be limited. The space of quantum state is defined by the property of quantum state space, and the property of quantum state is represented by the property of quantum state space. The column "Future Research Promotion Strategy" describes the improvement of different axes. The results of this paper are presented in the paper of DaLi237; 2022- Dynamic Logic: new trends and applications. In the past year, the quantum logic and deduction system have been improved. The logic of this problem, the problem of quantum communication, etc. This deductive system is not necessary in the past, except for some complex deductive rules. The results of this work were presented at the International Conference on Research and Development (LATD 2022: Logic, Algebra, & Truth Degrees).

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

命題記号を様相記号に持つ論理について

关于以命题符号作为模态符号的逻辑

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Noriyoshi Sukegawa;Shohei Suzuki;Yoshiko Ikebe;Yoshito Hirata;Mitsunori Ogawa;河野　友亮
通讯作者：
河野　友亮

The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic

动态认知量子逻辑的简单模型及推导系统

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
岩永二郎;西村直樹;鮏川矩義;高野祐一;Yutaro Yamaguchi;Tomoaki Kawano
通讯作者：
Tomoaki Kawano

Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics

量子物理中多智能体逻辑抽象模型及推导系统

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Yunoki K;Watanabe T;Matsumoto T;Kuwabara T;Kubo N;Chen X;Mima T;Kirimoto H;Tomoaki Kawano
通讯作者：
Tomoaki Kawano

複数観測者のための量子動的認識論理

多个观察者的量子动态认知逻辑

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Naoki Marumo;Takayuki Okuno;Akiko Takeda;桑原貴之，田村優衣，久保南実，松本卓也，陳瀟瀟，柚木啓輔，渡邊龍憲，桐本光;Holger Thies;黒瀬雄大;Tomoaki Kawano
通讯作者：
Tomoaki Kawano

Sequent Calculi for Orthologic with Strict Implication

具有严格含义的正交顺序演算