Is it possible to give a logical characterization of entanglement and of entanglementmeasures in terms of the probabilistic behavior of some gates? This question admits different (positive or negative) answers in the case of different systems of gates and in the case of different classes of density operators. In the first part of this article we investigate possible relations between entanglement-measures and the probabilistic behavior of quantum computational conjunctions
We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theo...
I show how probabilities arise in quantum physics by exploring implications of {\it environment - as...
Logical information theory is the quantitative version of the logic of partitions just as logical pr...
Is it possible to give a logical characterization of entanglement and of entanglement-measures in t...
Quantum gates, that play a fundamental role in quantum computation and other quantum information pro...
The quantum computation process may be summarized as follows: rst an initial state of a physical sys...
Our aim is to make a step toward clarification of foundations for the notion of entanglement (both p...
This paper provides an overview of quantum dynamic logics, showing how they have been designed and i...
Chapter 1: On the existence of quantum representations for two dichotomic measurements. Under which ...
This book provides a general survey of the main concepts, questions and results that have been devel...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
This book provides a general survey of the main concepts, questions and results that have been devel...
This work applies concepts from algorithmic probability to Boolean and quantum combinatorial logic c...
We present a logical calculus for reasoning about information flow in quan-tum programs. In particul...
Quantum mechanics is basically a mathematical recipe on how to construct physical models. Historical...
We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theo...
I show how probabilities arise in quantum physics by exploring implications of {\it environment - as...
Logical information theory is the quantitative version of the logic of partitions just as logical pr...
Is it possible to give a logical characterization of entanglement and of entanglement-measures in t...
Quantum gates, that play a fundamental role in quantum computation and other quantum information pro...
The quantum computation process may be summarized as follows: rst an initial state of a physical sys...
Our aim is to make a step toward clarification of foundations for the notion of entanglement (both p...
This paper provides an overview of quantum dynamic logics, showing how they have been designed and i...
Chapter 1: On the existence of quantum representations for two dichotomic measurements. Under which ...
This book provides a general survey of the main concepts, questions and results that have been devel...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
This book provides a general survey of the main concepts, questions and results that have been devel...
This work applies concepts from algorithmic probability to Boolean and quantum combinatorial logic c...
We present a logical calculus for reasoning about information flow in quan-tum programs. In particul...
Quantum mechanics is basically a mathematical recipe on how to construct physical models. Historical...
We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theo...
I show how probabilities arise in quantum physics by exploring implications of {\it environment - as...
Logical information theory is the quantitative version of the logic of partitions just as logical pr...