Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An unexpected Boolean connective   We consider a 2-valued non-deterministic connective $\wedge \hskip-5.5pt
\vee$ defined by the table resulting from the entry-wise union of the tables of
conjunction and disjunction. Being half conjunction and half disjunction we
named it platypus. The value of $\wedge \hskip-5.5pt \vee$ is not completely
determined by the input, contrasting with usual notion of Boolean connective.
We call non-deterministic Boolean connective any connective based on
multi-functions over the Boolean set. In this way, non-determinism allows for
an extended notion of truth-functional connective. Unexpectedly, this very
simple connective and the logic it defines, illustrate various key advantages
in working with generalized notions of semantics (by incorporating
non-determinism), calculi (by allowing multiple-conclusion rules) and even of
logic (moving from Tarskian to Scottian consequence relations). We show that
the associated logic cannot be characterized by any finite set of finite
matrices, whereas with non-determinism two values suffice. Furthermore, this
logic is not finitely axiomatizable using single-conclusion rules, however we
provide a very simple analytical multiple-conclusion axiomatization using only
two rules. Finally, deciding the associated multiple-conclusion logic is
coNP-complete, but deciding its single-conclusion fragment is in P.

16
The categories of this paper are: stat
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph