Abstract:The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum logic was proposed by Birkhoff and von Neumann as a logic of quantum mechanics more than 60 years ago. It is currently understood as a logic whose truth values are taken from an orthomodular lattice. The major difference between Boolean logic and quantum logic is that the latter does not enjoy distributivity in general. The rapid development of quantum computation in recent years stimulates us to establish a theory of computation based on quantum logic. The present paper is the first step toward such a new theory and it focuses on the simplest models of computation, namely finite automata. We introduce the notion of orthomodular lattice-valued (quantum) automaton. Various properties of automata are carefully reexamined in the framework of quantum logic by employing an approach of semantic analysis. We define the class of regular languages accepted by orthomodular lattice-valued automata. The acceptance abilities of orthomodular lattice-valued nondeterministic automata and their various modifications (such as deterministic automata and automata with ɛ-moves) are compared. The closure properties of orthomodular lattice-valued regular languages are derived. The Kleene theorem about equivalence of regular expressions and finite automata is generalized into quantum logic. We also present a pumping lemma for orthomodular lattice-valued regular languages. It is found that the universal validity of many properties (for example, the Kleene theorem, the equivalence of deterministic and nondeterministic automata) of automata depend heavily upon the distributivity of the underlying logic. This indicates that these properties does not universally hold in the realm of quantum logic. On the other hand, we show that a local validity of them can be recovered by imposing a certain commutativity to the (atomic) statements about the automata under consideration. This reveals an essential difference between the classical theory of computation and the computation theory based on quantum logic.

Nondistributivity of human logic and violation of response replicability effect in cognitive psychology

On the Common Logical Structure of Classical and Quantum Mechanics

Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators

Quantum Look at two Common Logics: the Logic of Primitive Thinking and the Logic of Everyday Human Reasoning

A model of quantum-like decision-making with applications to psychology and cognitive science

The Frauchiger-Renner Gedanken Experiment: Flaws in Its Analysis -- How Logic Works in Quantum Mechanics

Synchronizing Rhythms of Logic

Distribution can be Dropped: Reply to Rumfitt

Beyond-Quantum Modeling of Question Order Effects and Response Replicability in Psychological Measurements

Hidden variable theory for non-relativistic QED: the critical role of selection rules

A Quantum Probability Model of Causal Reasoning

Quantum theory from questions

Quantum set theory: Equality and order of internal reals defined through different quantum conditionals

A Theory of Computation Based on Quantum Logic (I)

Quantum generalized observables framework for psychological data: a case of preference reversals in US elections

Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions

Quantum Experimental Data in Psychology and Economics

Quantum view on contextual logic of composite intelligent devices

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

Mathematical Structure of Quantum Decision Theory