Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The polyhedral geometry of Wajsberg hoops   We show that the category of finitely presented Wajsberg hoops with
homomorphisms is dually equivalent to a particular subcategory of rational
polyhedra with Z-maps. We use the duality to provide a geometrical
characterization of finitely generated projective and exact Wajsberg hoops. As
applications, we study logical properties of the positive fragment of
Lukasiewicz logic. We show that, while deducibility in the fragment is
equivalent to deducibility among positive formulas in Lukasiewicz logic, the
same is not true for admissibility of rules. Moreover, we show that the
unification type of Wajsberg hoops is nullary, while the exact unification type
is unitary, therefore showing decidability of admissible rules in the fragment.

29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int