A coalgebraic perspective on logical interpretations

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...

Full description

Bibliographic Details
Main Author: Martins, M. A. (author)
Other Authors: Madeira, A. (author), Barbosa, L. S. (author)
Format: article
Language:eng
Published: 2013
Subjects:
Abstract logic
Interpretation
Coalgebra
Program refinement
Science & Technology
Arts & Humanities
Online Access:http://hdl.handle.net/1822/26351
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/26351

Internet

http://hdl.handle.net/1822/26351

Similar Items