Logical approach for two-valued states on quantum systems

FREYTES, HECTOR CARLOS

2014-01-01

---

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.