" Is quantum logic really logic?" This book argues for a positive answer to this question once
and for all. There are many quantum logics and their structures are delightfully varied. The …

We introduce a generalization of MV algebras motivated by the investigations into the
structure of quantum logical gates. After laying down the foundations of the structure theory …

This paper provides an overview of quantum dynamic logics, showing how they have been
designed and illustrating how these logics can be applied to verify the correctness of …

In this paper, we propose an approach to quantum λ-calculi. The 'quantum data-classical
control'paradigm is considered. Starting from a measurement-free untyped quantum λ …

Automata theory based on quantum logic, called l-valued finite automata (l-VFAs), may be
viewed as a logical approach to quantum computing. This work is mainly divided into two …

Quantum Artificial Intelligence (QAI) is the intersection of quantum computing and AI, a
technological synergy with expected significant benefits for both. In this paper, we provide a …

In this paper we give a logical analysis of both classical and quantum correlations. We
propose a new logical system to reason about the information carried by a complex system …

We introduce a quantum logic for quantum information, which we identify with the quantum
logic of the psychodynamic unconscious, amenable to formal characterization through the …

The early inflationary universe can be described in terms of quantum information. More
specifically, the inflationary universe can be viewed as a superposed state of quantum …

We describe a method to axiomatize computations in deterministic Turing machines (TMs).
When applied to computations in non-deterministic TMs, this method may produce …