Switch to: Citations

Add references

You must login to add references.
  1. Logical Bell Inequalities.Samson Abramsky & Lucien Hardy - 2012 - Physical Review A 85:062114-1 - 062114-11.
    Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Logical Foundations of Probability.Rudolf Carnap - 1950 - Mind 62 (245):86-99.
    Download  
     
    Export citation  
     
    Bookmark   881 citations  
  • Quantum Team Logic and Bell’s Inequalities.Tapani Hyttinen, Gianluca Paolini & Jouko Väänänen - 2015 - Review of Symbolic Logic 8 (4):722-742.
    A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Mendelian proportions in a mixed population.G. H. Hardy - 2014 - In Francisco José Ayala & John C. Avise (eds.), Essential readings in evolutionary biology. Baltimore: The Johns Hopkins University Press.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • An Introduction to Nonstandard Real Analysis.Albert E. Hurd, Peter A. Loeb, K. D. Stroyan & W. A. J. Luxemburg - 1985 - Journal of Symbolic Logic 54 (2):631-633.
    Download  
     
    Export citation  
     
    Bookmark   34 citations