Tense operators on spaces of numerical events
From MaRDI portal
Publication:472715
DOI10.1007/s10773-013-1820-zzbMath1302.81033OpenAlexW2057780004MaRDI QIDQ472715
Publication date: 19 November 2014
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10773-013-1820-z
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Temporal logic (03B44)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spaces of abstract events
- Tense operators on basic algebras
- Algebraic axiomatization of tense intuitionistic logic
- Testing for classicality of a physical system
- Dynamic effect algebras and their representations
- On a cryptographical characterization of classical and nonclassical event systems
- On algebras of multidimensional probabilities
- On a characterization of classical and nonclassical probabilities
- On the characterization of probabilities: A generalization of Bell’s inequalities