Automaton logic

DOI10.1007/BF02302381zbMath0854.03041OpenAlexW3188974984WikidataQ58620713 ScholiaQ58620713MaRDI QIDQ1916271

M. Schaller, Karl Svozil

Publication date: 13 January 1997

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02302381

zbMATH Keywords

Boolean algebraspropositional calculusMealy automataMoore automatapartition logicexperimentally decidable propositions

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items

Product of partition logics, orthoalgebras, and automata, Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic, Faithful orthogonal representations of graphs from partition logics, Physical versus computational complementarity. I, Deterministic automata. Simulation, universality and minimality, Varieties of contextuality based on probability and structural nonembeddability, On the complete description of entangled systems. I: Exploring hidden variables and context communication cost in simulating quantum correlations, Roots and (Re)sources of Value (In)definiteness Versus Contextuality, Analogues of quantum complementarity in the theory of automata, Minimization algorithm of fuzzy finite automata., Empirical logic of finite automata: Microstatements versus macrostatements, Computational universes, Logical equivalence between generalized urn models and finite automata, Computational complementarity and shift spaces, Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience, Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker-type constructions, Finite nondeterministic automata: simulation and minimality, Space-time dynamic of normalized doxatons: Automata models of pathological collective mentality

Cites Work

• Empirical logic of finite automata: Microstatements versus macrostatements
• Macroscopic realizations of quantum logics
• Computational complementarity
• Automata simulating quantum logics
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Orthomodular lattices and quadratic spaces: A survey
• The Pasting Constructions for Orthomodular Posets
• An Improvement on a Theorem of E. F. Moore
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item