Extended quantum logic

被引：3
|
作者：
Tokuo, K [1 ]
机构：
[1] Kyoto Univ, Grad Sch Human & Environmental Studies, Kyoto, Japan
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 2003年 / 32卷 / 05期
关键词：
Kripke semantics; modal logic; quantum logic;
D O I：
10.1023/A:1025693128153
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.
引用
收藏
页码：549 / 563
页数：15
相关论文
共 50 条
  • [21] Quantum computational logic
    Gudder, S
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (01) : 39 - 47
  • [22] Quantum logic and decoherence
    Mittelstaedt, P
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2004, 43 (06) : 1343 - 1354
  • [23] Quantum Logic and Decoherence
    Peter Mittelstaedt
    International Journal of Theoretical Physics, 2004, 43 : 1343 - 1354
  • [24] Typed Quantum Logic
    Kenji Tokuo
    International Journal of Theoretical Physics, 2003, 42 : 27 - 38
  • [25] Qubitless Quantum Logic
    Richard B. Kassman
    Gennady P. Berman
    Vladimir I. Tsifrinovich
    Gustavo V. López
    Quantum Information Processing, 2002, 1 : 425 - 437
  • [26] Covariance and Quantum Logic
    Quan Tran
    Alexander Wilce
    International Journal of Theoretical Physics, 2008, 47 : 15 - 25
  • [27] Convex Quantum Logic
    Federico Holik
    Cesar Massri
    Nicolás Ciancaglini
    International Journal of Theoretical Physics, 2012, 51 : 1600 - 1620
  • [28] Quantum Computational Logic
    S. Gudder
    International Journal of Theoretical Physics, 2003, 42 : 39 - 47
  • [29] Typed quantum logic
    Tokuo, K
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (01) : 27 - 38
  • [30] Implicational quantum logic
    Kenji Tokuo
    Axiomathes, 2022, 32 : 473 - 483
12345