Logical Approach for Two-Valued States on Quantum Systems |
| |
| Authors: | Hector Freytes |
| |
| Institution: | 1. Departamento de Matemática (FCEIA), Universidad Nacional de Rosario-CONICET, Av Pellegrini 250 CP.2000, Rosario, Argentina
|
| |
| Abstract: | In this paper we develop a logical system associated to two-valued states on orthomodular lattices. An completeness theorem with respect to a variety of orthomodular lattices enriched with an unary operation that represents two-valued states is given. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
