Logical Structures Arising in Quantum Theory
Logical Structures Arising in Quantum Theory
复制标题
量子理论中出现的逻辑结构
DOI：
10.1007/978-3-0348-9259-9_19
复制
发表时间：
1990
影响因子：
1.8
通讯作者：
E. Specker
中科院分区：
文献类型：
--
作者：
S. Kochen;E. Specker
本文研究的逻辑结构是命题演算的推广。经典命题演算本质上是布尔代数，或者是任意集合 S 上的函数理论，其值在二元素集合中。泛化在于允许集合 S 上的偏函数，即在 S 的某些子集上定义的函数，并定义这些函数之间的等价关系，使得具有相同常数值的任何两个常数函数属于同一等价类。对于实数域中的值的函数来说，推广同样自然，我们将首先考虑这种情况。
The logical structures studied in this paper are generalizations of the propositional calculus. The classical propositional calculus is essentially Boolean algebra or, alternatively, the theory of functions on an arbitrary set S with values in a two-element set. The generalization consists in allowing partial functions on the set S, i.e., functions defined on certain subsets of S, and defining an equivalence relation among these functions such that any two constant functions with the same constant value belong to the same equivalence class. The generalization is equally natural for functions with values in the field of real numbers and we shall consider this case first.