On equational Craig interpolation

Journal of Universal Computer Science

Volumn 6, Issue 1, 2000, Pages 194-200

  Roşu, Grigore ^a,b   Goguen, Joseph ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF BUCHAREST   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646299855     PISSN: 0948695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. [BHK90] Jan Bergstra, Jan Heering, and Paul Klint. Module algebra. Journal of the Association for Computing Machinery, 37(2):335-372, 1990.
2. [Bir35] Garrett Birkhoff. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31:433-454, 1935.
3. [Cra57] W. Craig. Linear reasoning, a new form of the herbrand-gentzen theorem. Journal of Symbolic Logic, 22:250-268, 1957.
4. [DGS93] Rǎzvan Diaconescu, Joseph Goguen, and Petros Stefaneas. Logical support for modularization. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83-130. Cambridge, 1993.
5. [EM85] Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1:Equations and Initial Semantics. Springer, 1985. EATCS Monographs on Theoretical Computer Science, Volume 6.
6. [GB92] Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
7. [GD94] Joseph Goguen and Rǎzvan Diaconescu. An Oxford survey of order sorted algebra. Mathematical Structures in Computer Science, 4:363-392, 1994.
8. [GM96] Joseph Goguen and Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT, 1996.
9. [Gum98] H. Peter Gumm. Equational and implicational classes of coalgebras. extended abstract. In The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science., 1998. Warsaw.
10. [Lan71] Saunders Mac Lane. Categories for the Working Mathematician. Springer, 1971.
11. [Pig74] Don Pigozzi. The join of equational thories. Colloquium Mathematicum, 30:15-25, 1974.
12. [Rod91] Pieter Hendrik Rodenburg. A simple algebraic proof of the equational interpolation theorem. Algebra Universalis, 28:48-51, 1991.
13. [RvG88] Pieter Hendrik Rodenburg and Rob van Glabbeek. An interpolation theorem in equational logic. Technical Report CS-R8838, CWI, 1988.