A Coalgebraic Perspective on Logical Interpretations

dc.contributor.author Martins,MA en
dc.contributor.author Alexandre Castro Madeira en
dc.contributor.author Luís Soares Barbosa en
dc.date.accessioned 2018-01-16T11:42:29Z
dc.date.available 2018-01-16T11:42:29Z
dc.date.issued 2013 en
dc.description.abstract In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper's main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/6321
dc.identifier.uri http://dx.doi.org/10.1007/s11225-013-9498-z en
dc.language eng en
dc.relation 5603 en
dc.relation 5620 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title A Coalgebraic Perspective on Logical Interpretations en
dc.type article en
dc.type Publication en
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
402.39 KB
Adobe Portable Document Format