Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Admissibility in Finitely Generated Quasivarieties   Checking the admissibility of quasiequations in a finitely generated (i.e.,
generated by a finite set of finite algebras) quasivariety Q amounts to
checking validity in a suitable finite free algebra of the quasivariety, and is
therefore decidable. However, since free algebras may be large even for small
sets of small algebras and very few generators, this naive method for checking
admissibility in $\Q$ is not computationally feasible. In this paper,
algorithms are introduced that generate a minimal (with respect to a multiset
well-ordering on their cardinalities) finite set of algebras such that the
validity of a quasiequation in this set corresponds to admissibility of the
quasiequation in Q. In particular, structural completeness (validity and
admissibility coincide) and almost structural completeness (validity and
admissibility coincide for quasiequations with unifiable premises) can be
checked. The algorithms are illustrated with a selection of well-known finitely
generated quasivarieties, and adapted to handle also admissibility of rules in
finite-valued logics.

3
The categories of this paper are: physics
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph