Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear
  Nested Sequents   This paper employs the linear nested sequent framework to design a new
cut-free calculus LNIF for intuitionistic fuzzy logic--the first-order G\"odel
logic characterized by linear relational frames with constant domains. Linear
nested sequents--which are nested sequents restricted to linear
structures--prove to be a well-suited proof-theoretic formalism for
intuitionistic fuzzy logic. We show that the calculus LNIF possesses highly
desirable proof-theoretic properties such as invertibility of all rules,
admissibility of structural rules, and syntactic cut-elimination.

20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc