𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On local modularity and interpolation in entailment systems

✍ Scribed by Paulo A.S. Veloso; José L. Fiadeiro; Sheila R.M. Veloso

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
112 KB
Volume
82
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

✦ Synopsis

We generalise and clarify connections between variants of modularity (preservation of faithfulness) and interpolation by localising them to a diagram in an entailment system. The variants of modularity arise naturally from the idea of building specifications in steps. We establish, by an algebraic approach, connections between these variants and (the existence of) versions of interpolating specifications. We also extend these correspondences to specification and interpolating families, and clarify the role of pushout diagrams in this context.

📜 SIMILAR VOLUMES

Statistical mechanics of biological modu
Statistical mechanics of biological modularity: Reply to comments on “The emergence of modularity in biological systems”
✍ Michael W. Deem; Dirk M. Lorenz 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 66 KB

In writing this review paper we hoped to stimulate further thinking and research on how complex modular structures emerge and persist. The commentators raised open questions in the field in which we are interested. One of the most urgent theoretical problems is the development of "general, flexibl