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 条
12345