19 citations · 55 across the 7 of their papers we have counts for
7 papers
Pavelka-style completeness in expansions of Łukasiewicz logic
Hector Freytes
An algebraic setting for the validity of Pavelka style completeness for some natural expansions of Łukasiewicz logic by new connectives and rational constants is given. This algebr…
Injectives in residuated algebras
Hector Freytes
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BL-algebras,…
The Contextual Character of Modal Interpretations of Quantum Mechanics
Graciela Domenech, Hector Freytes, Christian de Ronde
In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary mod…
Contextual logic for quantum systems
Graciela Domenech, Hector Freytes
In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mecha…
A Topological Study of Contextuality and Modality in Quantum Mechanics
Graciela Domenech, Hector Freytes, Christian de Ronde
Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions…
Scopes and Limits of Modality in Quantum Mechanics
Graciela Domenech, Hector Freytes, Christian de Ronde
We develop an algebraic frame for the simultaneous treatment of actual and possible properties of quantum systems. We show that, in spite of the fact that the language is enriched…