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.

中文翻译：

---

一阶约束的逻辑-一种与类别无关的方法

反映我们在代数规范，抽象模型理论，图转换和模型驱动软件工程（MDSE）等领域的经验，我们提出了一种通用的，与类别无关的一阶约束逻辑（LFOC）方法。以传统的一阶逻辑，描述逻辑和草图框架为例进行了讨论。我们使用制度的概念[Diaconescu08，GoguenBurstall92]作为描述LFOC的准则。主要结果表明，我们将要描述的六个参数的任何选择都会为我们提供一个相应的“约束制度”。约束机构的“表示”可以表征为“一阶草图”。作为[Makkai97]中“ sketch-entailments”的相应变体，我们最后引入“