Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Holistic logical arguments in quantum computation   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 information (qubits, quregisters or mixtures of
quregisters), while logical connectives correspond to (quantum logical) gates
that transform quantum information in a reversible way. The characteristic
holistic features of the quantum theoretic formalism (which play an essential
role in entanglement-phenomena) can be used in order to develop a holistic
version of the quantum computational semantics. In contrast with the
compositional character of most standard semantic approaches, meanings of
formulas are here dealt with as global abstract objects that determine the
contextual meanings of the formulas' components (from the whole to the parts).
We present a survey of the most significant logical arguments that are valid or
that are possibly violated in the framework of this semantics. Some logical
features that may appear prima facie strange seem to reflect pretty well
informal arguments that are currently used in our rational activity.

1
The categories of this paper are: cs
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th