Algebraic Structures and Observations: Quantales for a Noncommutative Logic - Theoretic Approach to Quantum Mechanics
Algebraic Structures and Observations: Quantales for a Noncommutative Logic - Theoretic Approach to Quantum Mechanics
复制标题
代数结构和观察：非交换逻辑的量子 - 量子力学的理论方法
DOI：
10.1007/978-94-011-0029-8_31
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
M. Piazza
中科院分区：
文献类型：
--
作者：
M. Piazza
本文是一系列关于逻辑理论非交易性与量子力学的逻辑基础之间的联系。使其描述至关重要。 T 2“。
This paper is a series of intertwining observations about the connection between the logic-theoretic noncommutativity and a logical foundation of quantum mechanics. We will analyze noncommutativity, both from an algebraic and prooftheoretic point of view, w.r.t. the quantum mechanics notion that the order of observation making is central to their description. To this end, we will present the sequential conjunction ⊗ : A ⊗ B) means “A at time t 1 and then B at time t 2”.