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 条

[41] Quantum Logic as a Fragment of Independence-Friendly Logic
Jaakko Hintikka
Journal of Philosophical Logic, 2002, 31 : 197 - 209
[42] Correlations, Contextuality and Quantum Logic
Allen Stairs
Jeffrey Bub
Journal of Philosophical Logic, 2013, 42 : 483 - 499
[43] Quantum Logic as a Basis for Computations
Jarosław Pykacz
International Journal of Theoretical Physics, 2000, 39 : 839 - 840
[44] Paraconsistent ideas in quantum logic
Maria Luisa Dalla Chiara
Roberto Giuntini
Synthese, 2000, 125 : 55 - 68
[45] Quantum logic as a basis for computations
Pykacz, J
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (03) : 839 - 850
[46] Correlations, Contextuality and Quantum Logic
Stairs, Allen
Bub, Jeffrey
JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (03) : 483 - 499
[47] Entropy of Partitions on Quantum Logic
YUAN He-Jun Key Lab of Mathematic Mechanization Institute of Systems Science
CommunicationsinTheoreticalPhysics, 2005, 43 (03) : 437 - 439
[48] Classical Limit and Quantum Logic
Losada, Marcelo
Fortin, Sebastian
Holik, Federico
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2018, 57 (02) : 465 - 475
[49] Weakly Intuitionistic Quantum Logic
Ronnie Hermens
Studia Logica, 2013, 101 : 901 - 913
[50] Product Łukasiewicz Quantum Logic
Cesarino Bertini
Roberto Leporini
International Journal of Theoretical Physics, 2011, 50 : 571 - 580

← 1 2 3 4 5 →