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 …

Parallelism represents an essential aspect of human mind/brain activities. One can
recognize some common features between psychological parallelism and the characteristic …

The characteristic holistic features of the quantum theoretic formalism and the intriguing
notion of entanglement can be applied to a field that is far from microphysics: logical …

The algebraic theory of quasi-MV algebras, generalizations of MV algebras arising in
quantum computation, is by now rather well-developed. Although it is possible to define …

We investigate an expansion of quasi-MV algebras (10) by a genuine quantum unary
operator. The variety ′ QMV of such ′ quasi-MV algebras has a subquasivariety whose …

Quantum computational logics represent a logical abstraction from the circuit-theory in
quantum computation. In these logics formulas are supposed to denote pieces of quantum …

The theory of logical gates in quantum computation has inspired the development of new
forms of quantum logic based on the following semantic idea: the meaning of a formula is …

Quantum computational logics are special examples of quantum logic where formulas are
supposed to denote pieces of quantum information (qubit-systems or mixtures of qubit …

We investigate some properties of two varieties of algebras arising from quantum
computation-quasi-MV algebras and√′ quasi-MV algebras-first introduced in [13],[12] and …

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