64 citations · 238 across the 18 of their papers we have counts for
20 papers
Physical properties as modal operators in the topos approach to quantum mechanics
Hector Freytes, Graciela Domenech, Christian de Ronde
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introdu…
Quantum mechanics and the interpretation of the orthomodular square of opposition
Christian de Ronde, Hector Freytes, G. Domenech
In this paper we analyze and discuss the historical and philosophical development of the notion of logical possibility focusing on its specific meaning in classical and quantum mec…
The square of opposition in orthomodular logic
Hector Freytes, Christian de Ronde, Graciela Domenech
In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between…
Interpreting the modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
Christian de Ronde, Hector Freytes, Graciela Domenech
In this paper we attempt to physically interpret the Modal Kochen- Specker (MKS) theorem. In order to do so, we analyze the features of the possible properties of quantum systems a…
Two-valued states on Baer -semigroups
Hector Freytes, Graciela Domenech, Christian de Ronde
In this paper we develop an algebraic framework that allows us to extend families of two-valued states on orthomodular lattices to Baer -semigroups. We apply this general appro…
Equational characterization for two-valued states in orthomodular quantum systems
Graciela Domenech, Hector Freytes, Christian De Ronde
In this paper we develop an algebraic framework in which several classes of two-valued states over orthomodular lattices may be equationally characterized. The class of two-valued…