Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multirole Logic (Extended Abstract)   We identify multirole logic as a new form of logic in which
conjunction/disjunction is interpreted as an ultrafilter on the power set of
some underlying set (of roles) and the notion of negation is generalized to
endomorphisms on this underlying set. We formalize both multirole logic (MRL)
and linear multirole logic (LMRL) as natural generalizations of classical logic
(CL) and classical linear logic (CLL), respectively, and also present a
filter-based interpretation for intuitionism in multirole logic. Among various
meta-properties established for MRL and LMRL, we obtain one named multiparty
cut-elimination stating that every cut involving one or more sequents (as a
generalization of a (binary) cut involving exactly two sequents) can be
eliminated, thus extending the celebrated result of cut-elimination by Gentzen.

34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin