Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The logic of quantum mechanics - Take II   We put forward a new take on the logic of quantum mechanics, following
Schroedinger's point of view that it is composition which makes quantum theory
what it is, rather than its particular propositional structure due to the
existence of superpositions, as proposed by Birkhoff and von Neumann. This
gives rise to an intrinsically quantitative kind of logic, which truly deserves
the name `logic' in that it also models meaning in natural language, the latter
being the origin of logic, that it supports automation, the most prominent
practical use of logic, and that it supports probabilistic inference.

16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol