Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Co-quantale valued logics   In this paper, we propose a generalization of Continuous Logic ([BBHU08])
where the distances take values in suitable co-quantales (in the way as it was
proposed in [Fla97]). By assuming suitable conditions (e.g., being
co-divisible, co-Girard and a V-domain), we provide, as test questions, a proof
of a version of the Tarski-Vaught test (Proposition 3.35) and Los Theorem
(Theorem 3.62) in our setting.

22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
32
The categories of this paper are: atom-ph