Unified quantum logic |
| |
| Authors: | Mladen Pavičić |
| |
| Institution: | (1) Institute for Theoretical Physics, University of Cologne, D-5000 Köln 41, Federal Republic of Germany |
| |
| Abstract: | Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed.On leave of absence from Department of Mathematics, University of Zagreb, Po t. Pret. 165, YU-41001 Zagreb, Yugoslavia. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
