Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the existence of Free Models in Fuzzy Universal Horn Classes   This paper is a contribution to the study of the universal Horn fragment of
predicate fuzzy logics, focusing on some relevant notions in logic programming.
We introduce the notion of term structure associated to a set of formulas in
the fuzzy context and we show the existence of free models in fuzzy universal
Horn classes. We prove that every equality-free consistent universal Horn fuzzy
theory has a Herbrand model.

18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin