Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logics of First-Order Constraints -- A Category Independent Approach   Reflecting our experiences in areas, like Algebraic Specifications, Abstract
Model Theory, Graph Transformations, and Model Driven Software Engineering
(MDSE), we present a general, category independent approach to Logics of
First-Order Constraints (LFOC). Traditional First-Order Logic, Description
Logic and the sketch framework are discussed as examples. We use the concept of
institution [Diaconescu08,GoguenBurstall92] as a guideline to describe LFOC's.
The main result states that any choice of the six parameters, we are going to
describe, gives us a corresponding "institution of constraints" at hand. The
"presentations" for an institution of constraints can be characterized as
"first-order sketches". As a corresponding variant of the "sketch-entailments"
in [Makkai97], we finally introduce "sketch rules" to equip LFOC's with the
necessary expressive power.

7
The categories of this paper are: hep-th
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin