We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Logics of First-Order Constraints -- A Category Independent Approach

Authors: Uwe Wolter
Abstract: 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.
Comments: 23 pages, presented at the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, UK, June 3-6, 2019
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
MSC classes: 03B99, 03C95
ACM classes: F.4.1; H.1.1
Cite as: arXiv:2101.01944 [cs.LO]
  (or arXiv:2101.01944v1 [cs.LO] for this version)

Submission history

From: Uwe Egbert Wolter [view email]
[v1] Wed, 6 Jan 2021 09:55:43 GMT (45kb)

Link back to: arXiv, form interface, contact.