On pushout consistency, modularity and interpolation for logical specifications

Information Processing Letters

Volumn 60, Issue 2, 1996, Pages 59-66

  Veloso, Paulo A S ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Coequalizer; Consistency; Data types; Extensions; Formal specifications; Internalization; Interpolation; Interpretations; Modularity; Pushout; Software engineering; Theory of computation

Indexed keywords

FORMAL LANGUAGES; INTERPOLATION; LOGIC PROGRAMMING; SOFTWARE ENGINEERING; THEOREM PROVING;

CRAIG ROBINSON INTERPOLATION; EXTENSION MODULARITY; ROBINSON'S JOINT CONSISTENCY;

FORMAL LOGIC;

EID: 0030260128     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(96)00146-9     Document Type: Article

References (16)

1. M. Arbib and E. Manes, Arrows, Structures and Functors: The Categorical Imperative (Academic Press, New York, 1975).
2. C.C. Chang and H.J. Keisler, Model Theory (North-Holland, Amsterdam, 1973).
3. H.-D. Ehrich, On the theory of specification, implementation and parameterization of abstract data types, J. ACM 29 (1) (1982) 206-227.
4. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics (Springer, Berlin, 1985).
5. H.B. Enderton, A Mathematical Introduction to Logic (Academic Press, New York, 1972).
6. J. Fiadeiro and A. Sernadas, Structuring theories on consequence, in: D. Sanella and A. Tarlecki, eds., Recent Trends in Data Type Specification (Springer, Berlin, 1988) 44-72.
7. R. Goldblatt, Topoi: The Categorial Analysis of Logic (North-Holland, Amsterdam, 1979).
8. M.C. Meré and P.A.S. Veloso, Definition-like extensions by sorts, Bull. IGPL 5 (4) (1995) 579-595.
9. P.H. Rodenburg and R.J. van Glabbeek, An interpolation theorem in equational logic, Research Rept. CS-R8838, Centre for Mathematics and Computer Science, Amsterdam, 1988.
10. J.R. Shoenfield, Mathematical Logic (Addison-Wesley, Reading, MA, 1967).
11. W.M. Turski and T.S.E. Maibaum, The Specification of Computer Programs (Addison-Wesley, Wokingham, 1987).
12. D. van Dalen, Logic and Structure (Springer, Berlin, 1989).
13. P.A.S. Veloso, A new, simpler proof of the Modularisation Theorem for logical specifications. Bull. IGPL 1(1) (1993) 1-11.
14. P.A.S. Veloso, From extensions to interpretations: Pushout consistency, modularity and interpolation, Research Rept. MCC 17/95, PUC-Rio, Dept. Informática, Rio de Janeiro, 1995.
15. P.A.S. Veloso and T.S.E. Maibaum, Logical specifications: 3. Extensions of specifications. Research Rept. MCC 33/94, PUC-Rio, Dept. Informática, Rio de Janeiro, 1994.
16. P.A.S. Veloso and T.S.E. Maibaum, On the Modularization Theorem for logical specifications. Inform. Process. Lett. 53 (1995) 287-293.