Abstract
The experimental logic of Moore and Mealy-type automata is investigated.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Birkhoff, G. (1948).Lattice Theory, 2nd ed., American Mathematical Society, New York.
Birkhoff, G., and von Neumann, J. (1936). The logic of quantum mechanics,Annals of Mathematics,37, 823–843.
Booth, T. L. (1967).Sequential Automata and Automata Theory, Wiley, New York.
Brauer, W. (1984).Automatentheorie, Teubner, Stuttgart.
Chaitin, G. J. (1965).IEEE Transactions on Electronic Computers,EC-14, 466.
Conway, J. H. (1971).Regular Algebras and Finite Automata, Clowes, London.
Crutchfield, J. P. (1993). Observing complexity and the complexity of observation, inInside versus Outside, H. Atmanspacher and G. J. Dalenoort, eds., Springer, Berlin, pp. 235–272.
Finkelstein, D., and Finkelstein, S. R. (1983). Computational complementarity,International Journal of Theoretical Physics,22, 753–779.
Giuntini, R. (1991).Quantum Logic and Hidden Variables, BI Wissenschaftsverlag, Mannheim.
Grätzer, G. (1971).Lattice Theory, Freeman, San Francisco.
Grib, A. A., and Zapatrin, R. R. (1990). Automata simulating quantum logics,International Journal of Theoretical Physics,29, 113–123.
Grib, A. A., and Zapatrin, R. R. (1992). Macroscopic realizations of quantum logics,International Journal of Theoretical Physics,31, 1669–1687.
Grib, A. A., Svozil, K., and Zapatrin, R. R. (1995). Empirical logic of finite automata: Microstatements versus macrostatements, Preprint.
Hopcroft, J. E., and Ullman, J. D. (1979).Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, Massachusetts.
Jammer, M. (1974).The Philosophy of Quantum Mechanics, Wiley, New York.
Jauch, J. (1968).Foundations of Quantum Mechanics, Addison-Wesley, Reading, Massachusetts.
Kalmbach, G. (1983).Orthomodular Lattices, Academic Press, New York.
Kochen, S., and Specker, E. (1965a). Logical structures arising in quantum theory, inSymposium on the Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, North-Holland, Amsterdam, pp. 177–189.
Kochen, S., and Specker, E. (1965b). The calculus of partial propositional functions, inProceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science, Jerusalem, North-Holland, Amsterdam, pp. 45–57.
Moore, E. F. (1956). Gedanken experiments on sequential automata, inAutomata Studies, C. E. Shannon and J. McCarthy, eds., Princeton University Press, Princeton, New Jersey, pp. 129–153.
Navara, M., and Rogalewicz, V. (1991). The pasting construction for orthomodular posets,Mathematische Nachrichten,154, 157–168.
Piron, C. (1976).Foundations of Quantum Physics, Benjamin, Reading, Massachusetts.
Piziak, R. (1991). Orthomodular lattices and quadratic spaces: A survey,Rocky Mountain Journal of Mathematics,21, 951–992.
Pták, P., and Pulmannová, S. (1991).Orthomodular Structures as Quantum Logics, Kluwer, Dordrecht.
Schaller, M., and Svozil, K. (1994). Partition logics of automata,Nuovo Cimento,109B, 167–176.
Specker, E. (1960). Die Logik nicht gleichzeitig entscheidbarer Aussagen,Dialectica,14, 239–246.
Svozil, K. (1993).Randomness and Undecidability in Physics, World Scientific, Singapore.
Szász, G. (1963).Introduction to Lattice Theory, Academic Press, New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schaller, M., Svozil, K. Automaton logic. Int J Theor Phys 35, 911–940 (1996). https://doi.org/10.1007/BF02302381
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02302381