Studia Logica 101 (4):783-825 (2013)

Authors
Alexandre Madeira
Universidade do Minho
Marta Martins
Universidade do Minho
Leonardo Barbosa
Universidade do Estado do Rio de Janeiro
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
Keywords Abstract logic  Interpretation  Coalgebra  Program refinement
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-013-9498-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,360
Through your library

References found in this work BETA

On the Calculus of Relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.

View all 12 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
Arithmetical Interpretations of Dynamic Logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
Translation Paradox and Logical Translation: A Study in Universal Logic.Tzu-Keng Fu - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:39-45.
The Philosophy of Alternative Logics.Andrew Aberdein & Stephen Read - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 613-723.
Reasoning About Update Logic.Jan van Eijck & Fer-Jan de Vries - 1995 - Journal of Philosophical Logic 24 (1):19-45.
Carnap's Logical Structure of the World.Chris Pincock - 2009 - Philosophy Compass 4 (6):951-961.

Analytics

Added to PP index
2013-06-29

Total views
43 ( #248,864 of 2,448,923 )

Recent downloads (6 months)
1 ( #443,144 of 2,448,923 )

How can I increase my downloads?

Downloads

My notes