Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Poset products as relational models   We introduce a relational semantics based on poset products, and provide
sufficient conditions guaranteeing its soundness and completeness for various
substructural logics. We also demonstrate that our relational semantics unifies
and generalizes two semantics already appearing in the literature: Aguzzoli,
Bianchi, and Marra's temporal flow semantics for H\'ajek's basic logic, and
Lewis-Smith, Oliva, and Robinson's semantics for intuitionistic Lukasiewicz
logic. As a consequence of our general theory, we recover the soundness and
completeness results of these prior studies in a uniform fashion, and extend
them to infinitely-many other substructural logics.

6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas