| Publication | Date of Publication | Type |
|---|
A BRIDGE BETWEEN Q-WORLDS
The Review of Symbolic Logic | 2024-03-16 | Paper |
Gleason’s theorem for composite systems
Journal of Physics A: Mathematical and Theoretical | 2023-11-03 | Paper |
| From no-signalling to quantum states | 2022-04-25 | Paper |
| No-signalling, Contextuality, and the Arrow of Time | 2019-10-21 | Paper |
| A generalisation of Stone duality to orthomodular lattices | 2019-05-28 | Paper |
Spectral presheaves as quantum state spaces
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2017-01-13 | Paper |
Topos-based logic for quantum systems and bi-Heyting algebras
(available as arXiv preprint) | 2016-12-20 | Paper |
Topos quantum logic and mixed states
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Abelian subalgebras and the Jordan structure of a von Neumann algebra
Houston Journal of Mathematics | 2016-09-30 | Paper |
Abelian subalgebras and the Jordan structure of a von Neumann algebra
Houston Journal of Mathematics | 2016-09-30 | Paper |
Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices
Houston Journal of Mathematics | 2016-09-30 | Paper |
The real butterfly effect
Nonlinearity | 2014-10-17 | Paper |
Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
Communications in Mathematical Physics | 2014-06-18 | Paper |
Classical and quantum probabilities as truth values
Journal of Mathematical Physics | 2013-11-11 | Paper |
| Self-adjoint Operators as Functions II: Quantum Probability | 2012-10-21 | Paper |
Unsharp values, domains and topoi
Quantum Field Theory and Gravity | 2012-08-21 | Paper |
The physical interpretation of daseinisation
(available as arXiv preprint) | 2011-11-22 | Paper |
``What is a thing?'': topos theory in the foundations of physics
New Structures for Physics | 2011-05-31 | Paper |
scientific article; zbMATH DE number 5526583 (Why is no real title available?)
(available as arXiv preprint) | 2009-03-09 | Paper |
A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
Journal of Mathematical Physics | 2009-01-23 | Paper |
A topos foundation for theories of physics: IV. Categories of systems
Journal of Mathematical Physics | 2009-01-23 | Paper |
A topos foundation for theories of physics: I. Formal languages for physics
Journal of Mathematical Physics | 2009-01-23 | Paper |
A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
Journal of Mathematical Physics | 2009-01-23 | Paper |
Kochen-Specker theorem for von Neumann algebras
International Journal of Theoretical Physics | 2005-12-12 | Paper |
