自然演绎中的一个新连接词及其在量子计算中的应用——Archive ouverte HAL
出版，文件解除 Anneée:2022年

自然演绎中的一个新连接词及其在量子计算中的应用

Résumé

我们研究了具有非协调演绎规则（如Prior’s tonk）的逻辑连接词与量子计算之间的意外联系。我们认为这些连接词模拟了量子测量中发生的信息缺失、不可逆性和不确定性。我们引入了一个命题逻辑，它具有一个逻辑连接词sup，它具有非协调演绎规则和两个间隙规则，并证明了该逻辑的证明语言构成了量子编程语言的核心。

与葡萄园

信息逻辑[cs.LO]
菲奇尔校长
小品小品
2012.08994.pdf（349.51 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

吉尔斯·道克 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-03540150

Soumis le:迪曼奇23 janvier 2022-10:03

Dernière修改日期：vendredi 17 mai 2024-16:22:05

长期存档：迪曼奇24 avril 2022-18:03:35

Télé充电器倒可视化

日期和版本

hal-03540150， 版本1 (23-01-2022)

执照

父爱

标识符

  • HAL Id： hal-03540150，版本1

Citer公司

亚历杭德罗·迪亚斯·卡罗，吉勒·道克。自然演绎中的一个新连词及其在量子计算中的应用。2022⟨hal-03540150⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

中国科学院 印度 ENS-卡汉 中央SUPELEC INRIA2公司 UNIV-PARIS-SACLAY大学 ENS-PARIS-SACLAY公司 GS-计算机科学 LMF公司
91 磋商
48 交易费用

合作伙伴

更多