Scholarlink

The logical anomalies of quantum objects can be investigated in the semantics of quantum computational logics. One is dealing with new forms of quantum logic that have been inspired by quantum computation theories, where entanglement-phenomena play an important role. In this article we propose a semantic characterization for a weak form of first-order quantum computational logic with identity. We show how some intriguing questions that concern indiscernible quantum objects can be usefully analyzed in this logical framework.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Quantum Individuals, Indiscernibility and Entanglement in the Quantum Computational Semantics

  • 章节

  • 发表日期：

    2025年

查看全文
  • Maria Luisa Dalla Chiara,
  • Roberto Giuntini,
  • Roberto Leporini,
  • Giuseppe Sergioli

摘要

The logical anomalies of quantum objects can be investigated in the semantics of quantum computational logics. One is dealing with new forms of quantum logic that have been inspired by quantum computation theories, where entanglement-phenomena play an important role. In this article we propose a semantic characterization for a weak form of first-order quantum computational logic with identity. We show how some intriguing questions that concern indiscernible quantum objects can be usefully analyzed in this logical framework.