Analysis of billiard ball computation using phase space logics

Physica D: Nonlinear Phenomena

Volumn 120, Issue 1-2, 1998, Pages 236-252

  Westmoreland, Michael ^a   Krone, Joan ^a   Schumacher, Benjamin ^b  

^a DENISON UNIVERSITY   (United States)

^b KENYON COLLEGE   (United States)

Author keywords

Models of computation; Non standard logics

Indexed keywords

EID: 7544239630     PISSN: 01672789     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-2789(98)80001-8     Document Type: Article

References (19)

1. G. Birkhoff, J. von Neumann, Ann. of Math. 37 (1936) 823-43.
2. M.D. Westmoreland, B.W. Schumacher, Phys. Rev. A 48 (1993) 977-85.
3. M.D. Westmoreland, B.W. Schumacher, S. Bailey, Int. J. Theoret. Phys. 35, p. 31.
4. S. Vickers, Topology Via Logic, Cambridge Tracts in Theoretical Computer Science, vol. 5, Cambridge University Press, Cambridge, 1989.
5. J. Lukasiewcz, in: L. Borkowski (Ed.), Selected Works, North-Holland, Amsterdam, 1970; cited in [16].
6. H. Reichenbach, Philosophic Foundations of Quantum Mechanics University of California Press, Berkeley, 1944, 1965;
7. Sections 29-37 reprinted in: C.A. Hooker (Ed.), The Logico-Algebraic Approach to Quantum Mechanics, Reidel, Dordrecht, 1975.
8. J.B. Rosser, Am. J. Phys. 9 (1941) 207-212; cited in [9].
9. C.I. Lewis, C.H. Langford, Symbolic Logic, The Century Company, New York, 1932; cited in [9].
10. J.B. Rosser, A.R. Turquette, Many-Valued Logics, North-Holland, Amsterdam, 1952.
11. J.F. Munkres, Topology: A First Course, Prentice-Hall, Englewood Cliffs, NJ, 1974.
12. P. Gibbins, Particles and Paradoxes: The Limits of Quantum Logic, Cambridge University Press, Cambridge, 1987.
13. C.G. Hempel, The Journal of Symbolic Logic 10 (1945) 97-100; cited in [16].
14. A.R. Turquette, The Philosophic Rev. 54 (1945) 513-516; cited [16].
15. E. Nagel, Logic without ontology, in: Y.H. Krikorian (Ed.), Naturalism and the Human Spirit, Columbia University Press, New York, 1944, pp. 210-241;
16. reprinted in: H. Feigl, W.S. Sellars (Eds.), Readings in Philosophical Analysis, Appleton, New York, 1949, pp. 91-210; cited in [16].
17. P.T. Geach, Logic Matters, University of California Press, Berkeley, 1972.
18. M. Jammer, The Philosophy of Quantum Mechanics, Wiley, New York, 1974.
19. D. Gries, F.B. Schneider, A Logical Approach to Discrete Math, Springer, Berlin, 1994.