Empirical logic of finite automata: Microstatements versus macrostatements

DOI10.1007/BF02084959MaRDI QIDQ675042zbMATH OpenWikidataFDO

Authors Karl Svozil, Roman R. Zapatrin

Publication date 6 March 1997

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

Full work available at URL https://arxiv.org/abs/quant-ph/9510015

zbMATH Keywords

empirical logic of automataensembles of automataexperiments on individual automatalogic of macrostatementslogic of microstatementslogic of simulationpartition logic

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: We compare the two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata. The second one, the logic of simulation (logic of macrostatements), deals with ensembles of automata.

Recommendations

• Automaton logic
• Automaton partition logic versus quantum logic
• scientific article; zbMATH DE number 847011
• Automata simulating quantum logics
• Continuous logic in problems of finite automata dynamics

Cites work

• Automata simulating quantum logics
• Automaton logic
• Automaton partition logic versus quantum logic
• Computational complementarity
• scientific article; zbMATH DE number 521942 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Macroscopic realizations of quantum logics

Cited in

(5)

• Physical versus computational complementarity. I
• Space-time dynamic of normalized doxatons: Automata models of pathological collective mentality
• Automaton logic
• Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic
• scientific article; zbMATH DE number 5205481 (Why is no real title available?)

This page was built for publication: Empirical logic of finite automata: Microstatements versus macrostatements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q675042)