当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Logics of First-Order Constraints -- A Category Independent Approach
arXiv - CS - Logic in Computer Science Pub Date : 2021-01-06 , DOI: arxiv-2101.01944
Uwe Wolter

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”的相应变体,我们最后引入“
更新日期:2021-01-07
down
wechat
bug