In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum ...

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 introduce a classical type study of the mentioned ...

Rondas en Sais. Ensayos sobre matemáticas y cultura contemporánea introduce algunos desarrollos profundos en matemáticas modernas (1830-1950: Galois, Riemann, Peirce, Florenski) y contemporáneas (1950-hoy: Grothendieck, ...