Partition Logics, Orthoalgebras and Automata

We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata.

[1]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[2]  D. Foulis,et al.  Effect algebras and unsharp quantum logics , 1994 .

[3]  Karl Svozil,et al.  Randomness and undecidability in physics , 1993 .

[4]  Asher Peres,et al.  Einstein, Gödel, Bohr , 1985 .

[5]  Lila L. Gatlin.  Time-reversed information transmission , 1980 .

[6]  D. J. Foulis,et al.  Operational statistics. II. Manuals of operations and their logics , 1973 .

[7]  Abner Shimony,et al.  Search for a naturalistic world view: Events and processes in the quantum world , 1993 .

[8]  Gary M. Hardegree,et al.  Connections among quantum logics. Part 2. Quantum event logics , 1985 .

[9]  C. H. Randall,et al.  Operational Statistics. I. Basic Concepts , 1972 .

[10]  Richard Wesley Hamming,et al.  Coding and information theory (2. ed.) , 1986 .

[11]  D. Deutsch.  Quantum computational networks , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[12]  J. Woodward.  Making the universe safe for historians: Time travel and the laws of physics , 1995 .

[13]  H. B. Phillips.  The Theory of Relativity of Motion , 1919 .

[14]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[15]  J. Bell.  On the Einstein-Podolsky-Rosen paradox , 1964 .

[16]  Ron Wright.  Generalized urn models , 1990 .

[17]  J. Wheeler,et al.  Classical Electrodynamics in Terms of Direct Interparticle Action , 1949 .

[18]  R. Feynman.  Simulating physics with computers , 1999 .

[19]  D. Foulis,et al.  Tensor products of orthoalgebras , 1993 .

[20]  D. Deutsch,et al.  Rapid solution of problems by quantum computation , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[21]  Avshalom C. Elitzur.  Locality and indeterminism preserve the second law , 1992 .

[22]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.

[23]  Asher Peres,et al.  Existence of “free will” as a problem of physics , 1986 .

[24]  Paul Benioff,et al.  Quantum Mechanical Hamiltonian Models of Computers a , 1986 .

[25]  Jerome Rothstein,et al.  Physics of selective systems: Computation and biology , 1982 .

[26]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[27]  K. Popper.  INDETERMINISM IN QUANTUM PHYSICS AND IN CLASSICAL PHYSICS1 , 1950, British Journal for the Philosophy of Science.

[28]  Abner Shimony,et al.  Search for a naturalistic world view: Controllable and uncontrollable non-locality , 1993 .

[29]  Mirko Navara,et al.  States on orthoalgebras , 1995 .

[30]  R. R. Zapatrin,et al.  Macroscopic realizations of quantum logics , 1992 .

[31]  D. W. Cohen,et al.  An Introduction to Hilbert Space and Quantum Logic , 1989 .

[32]  K. Svozil.  Are chaotic systems dynamically random , 1989 .

[33]  E. Recami.  Tachyon kinematics and causality: A systematic thorough analysis of the tachyon causal paradoxes , 1987 .

[34]  Karl Svozil.  Quantum recursion theory , 1994 .

[35]  R. R. Zapatrin,et al.  Automata simulating quantum logics , 1990 .

[36]  David Z. Albert,et al.  On quantum-mechanical automata , 1983 .

[37]  Richard W. Hamming,et al.  Coding and Information Theory , 2018, Feynman Lectures on Computation.

[38]  George Boole,et al.  An Investigation of the Laws of Thought: Frontmatter , 2009 .

[39]  D. Deutsch.  Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[40]  David Finkelstein,et al.  Computational complementarity , 1983 .

[41]  K. Svozil,et al.  Automaton logic , 1996 .

[42]  Moore,et al.  Unpredictability and undecidability in dynamical systems. , 1990, Physical review letters.

[43]  J. Reinhardt,et al.  Quantum Electrodynamics , 2008, Introduction to Quantum Mechanics.

[44]  David Maier,et al.  Review of "Introduction to automata theory, languages and computation" by John E. Hopcroft and Jeffrey D. Ullman. Addison-Wesley 1979. , 1980, SIGA.

[45]  I. Pitowsky.  Quantum Probability ― Quantum Logic , 1989 .

[46]  O. M.P. Bilaniuk,et al.  “Meta†Relativity , 1962 .

[47]  Diederik Aerts,et al.  Example of a macroscopical classical situation that violates Bell inequalities , 1982 .

[48]  Deutsch,et al.  Quantum mechanics near closed timelike lines. , 1991, Physical review. D, Particles and fields.

[49]  Hawking,et al.  Chronology protection conjecture. , 1992, Physical review. D, Particles and fields.

[50]  Asher Peres,et al.  Signals from the future , 1972 .

[51]  Lov K. Grover,et al.  Quantum computation , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

[52]  Richard Phillips Feynman,et al.  Quantum mechanical computers , 1984, Feynman Lectures on Computation.

[53]  Karl Svozil,et al.  Partition logics of automata , 1994 .

[54]  Wolfram,et al.  Undecidability and intractability in theoretical physics. , 1985, Physical review letters.

[55]  Gregory Benford,et al.  The Tachyonic Antitelephone , 1970 .

[56]  Kurt Gödel,et al.  A remark about the relationship between relativity theory and idealistic philosophy , 2006 .

[57]  G. Feinberg,et al.  Possibility of Faster-Than-Light Particles , 1967 .

[58]  I. Pitowsky.  Resolution of the Einstein-Podolsky-Rosen and Bell Paradoxes , 1982 .

[59]  Tommaso Toffoli,et al.  The Role of the Observer in Uniform Systems , 1978 .

[60]  Helly.  Grundbegriffe der Wahrscheinlichkeitsrechnung , 1936 .

[61]  Gary M. Hardegree,et al.  Connections among quantum logics. Part 1. Quantum propositional logics , 1985 .

[62]  Sylvia Pulmannová,et al.  Orthomodular structures as quantum logics , 1991 .

[63]  K. Gödel.  An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation , 1949 .

[64]  A. Church.  Edward F. Moore. Gedanken-experiments on sequential machines. Automata studies , edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printed, Princeton University Press, Princeton1956, pp. 129–153. , 1958, Journal of Symbolic Logic.

[65]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[66]  Karl Svozil.  Connections between Deviations from Lorentz Transformation and Relativistic Energy-Momentum Relation , 1986 .

[67]  A. Zeilinger,et al.  Speakable and Unspeakable in Quantum Mechanics , 1989 .

[68]  P. Odifreddi.  Classical recursion theory , 1989 .

[69]  M. Scha,et al.  Automaton Partition Logic Versus Quantum Logic , 1994 .

[70]  D. Hilbert.  Über das Unendliche , 1926 .