Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Negation and Implication in Partition Logic   The Boolean logic of subsets, usually presented as `propositional logic,' is
considered as being "classical" while intuitionistic logic and the many
sublogics and off-shoots are "non-classical." But there is another mathematical
logic, the logic of partitions, that is at the same mathmatical level as
Boolean subset logic since subsets and quotient sets (partitions or equivalence
relations) are dual to one another in the category-theoretic sense. Our purpose
here is to explore the notions of negation and implication in that other
mathematical logic of partitions.

16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
1
The categories of this paper are: cs
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas