Typed Quantum Logic |
| |
| Authors: | Kenji Tokuo |
| |
| Affiliation: | (1) Graduate School of Human and Environmental Studies, Kyoto University, Kyoto, Japan |
| |
| Abstract: | The aim of this paper was to lift traditional quantum logic to its higher order version with the help of a type-theoretic method. A higher order axiomatic system is defined explicitly and then a sound and complete class of models is given. This is an attempt to provide a quantum counterpart of classical  set theory or intuitionistic topos. |
| |
| Keywords: | quantum logic higher-order logic type theory set theory |
| 本文献已被 SpringerLink 等数据库收录！ |
|
