Automaton logic
type: Item
instance of: scholarly article
title: Automaton logic
zbMATH Open document ID: 0854.03041
DOI: 10.1007/BF02302381
author: M. Schaller
author: Karl Svozil
published in: International Journal of Theoretical Physics
publication date: 1997-01-13T00:00:00Z
review text: The main contribution of the paper is the investigation of the propositional calculus for automata of Moore or Mealy type. It is shown that the set of the experimentally decidable propositions forms in this case a partition logic, i.e., it can be seen as the ``pasting'' of a family of Boolean algebras. The analogies with quantum mechanics are also discussed.
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P10
zbMATH DE Number: 896376
zbMATH Keywords: Moore automata
zbMATH Keywords: Mealy automata
zbMATH Keywords: propositional calculus
zbMATH Keywords: experimentally decidable propositions
zbMATH Keywords: partition logic
zbMATH Keywords: Boolean algebras
Wikidata QID: Q58620713
reviewed by: Nicolas Hadjisavvas
MaRDI profile type: Publication
cites work: Q5789040
cites work: Q5549816
cites work: An Improvement on a Theorem of E. F. Moore
cites work: Q5639639
cites work: Computational complementarity
cites work: Q4023197
cites work: Q5639727
cites work: Automata simulating quantum logics
cites work: Macroscopic realizations of quantum logics
cites work: Empirical logic of finite automata: Microstatements versus macrostatements
cites work: Q3862379
cites work: Q5551052
cites work: Q4750696
cites work: Q5557878
cites work: Q5534907
cites work: The Pasting Constructions for Orthomodular Posets
cites work: Q4100556
cites work: Orthomodular lattices and quadratic spaces: A survey
cites work: Orthomodular structures as quantum logics. Transl. from the Slovak
cites work: Q4284061
cites work: Q3283948
full work available at URL: https://doi.org/10.1007/bf02302381
OpenAlex ID: W3188974984
description: scientific article; zbMATH DE number 896376