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.Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.