Empirical logic of finite automata: Microstatements versus macrostatements

DOI10.1007/BF02084959zbMATH Open0864.03029arXivquant-ph/9510015WikidataQ58620710 ScholiaQ58620710MaRDI QIDQ675042FDOQ675042

Authors: Karl Svozil, Roman R. Zapatrin 

Publication date: 6 March 1997

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

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.

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

Recommendations

• Automaton logic
• Automaton partition logic versus quantum logic
• Publication:4864832
• Automata simulating quantum logics
• Continuous logic in problems of finite automata dynamics

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Macroscopic realizations of quantum logics
• Computational complementarity
• Automaton partition logic versus quantum logic
• Automaton logic
• Automata simulating quantum logics

Cited In (5)

• Title not available (Why is that?)
• 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)