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

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) 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

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

Cited in

(5)

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

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)