Different types of arrow between logical frameworks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1099, Issue , 1996, Pages 158-169

  Mossakowski, Till ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947708159     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61440-0_125     Document Type: Conference Paper

References (27)

1. J. Adimek, H. Herrlich, G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990.
2. E. Astesiano, M. Cerioli. Relationships between logical frameworks. In M. Bidoit, C. Choppy, eds., Proc. 8th ADT workshop, LNCS 655, 126-143. Springer Verlag, 1992.
3. Ε. Astesiano, M. Cerioli. Multiparadigm specification languages: a first attempt at foundations. In J.F. Groote CM.D.J. Andrews, ed., Semantics of Specification Languages (SoSl 93), Workshops in Computing, 168-185. Springer Verlag, 1994.
4. M. Barr, С. Wells. Toposes, Triples and Theories, Grundlehren der mathematischen Wissenschaften 278. Springer Verlag, 1985.
5. F. Borceux. Handbook of Categorical Algebra I - III. Cambridge University Press, 1994.
6. M. Cerioli. Relationships between Logical Formalisms. PhD thesis, TD-4/93, Universita di Pisa-Genova-Udine, 1993.
7. M. Cerioli, J. Meseguer. May I borrow your logic? In A.M. Borzyszkowski, S.Sokolowski, eds., Proc. MFCS'93 (Mathematical Foundations of Computer Science), LNCS 711, 342-351. Springer Verlag, Berlin, 1993. To appear in Theoretical Computer Science.
8. M. Cerioli, T. Mossakowski, H. Reichel. From total equational to partial first order. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner, eds., Algebraic Foundations of Systems Specifications. Chapman and Hall, 1996. to appear.
9. M. Coste. Localisation, spectra and sheaf representation. In M.P. Fourman, C.J. Mulvey, D.S. Scott, eds., Application of Sheaves, Lecture Notes in Mathematics 753, 212-238. Springer Verlag, 1979.
10. Η. Ehrig, P. Pepper, F. Orejas. On recent trends in algebraic specification. In Proc. ICALP'89, LNCS 372, 263-288. Springer Verlag, 1989.
11. W. A. Farmer. A partial functions version of Church's simple type theory. Journal of Symbolic Logic 55, 1269-1291, 1991.
12. J. Fiadeiro, A. Sernadas. Structuring theories on consequence. In D. Sannella, A. Tarlecki, eds., Recent Trends in Data Type Specification, 5th Workshop on Specification of Abstract Data Types, LNCS 332, 44-72. Springer Verlag, 1988.
13. J. A. Goguen, R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39, 95-146, 1992. Predecessor in: LNCS 164(1984):221-256.
14. J. A. Goguen, T. Winkler. Introducing OBJ3. Research report SRI-CSL-88-9, SRI International, 1988.
15. R. Harper, F. Honsell, G. D. Plotkin. A framework for defining logics. In Proceedings of the second Symposium on Logic in Computer Science (Ithaca, NY). IEEE, 1987.
16. J. Meseguer. General logics. In Logic Colloquium 87, 275-329. North Holland, 1989.
17. T. Mossakowski. Equivalences among various logical frameworks of partial algebras. In H. Kleine Büning et al., ed., Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995. Springer LNCS, 1996. To appear.
18. Т. Mossakowski. Using colimits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen et al., ed., Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, LNCS. To appear. Springer Verlag, 1996.
19. W. Pawlowski. Institutions with contexts. In M. Haveraaen et al., ed., Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, LNCS. To appear. Springer Veriag, 1996.
20. H. Reichel. Initial Computability, Algebraic Specifications and Partial Algebras. Oxford Science Publications, 1987.
21. A. Salibra, G. Scollo. A soft stairway to institutions. In M. Bidoit, C. Choppy, eds., Proc. 8th ADT workshop, LNCS 655, 310-329. Springer Verlag, 1992.
22. D. Sannella, A. Tarlecki. Specifications in an arbitrary institution. Information and Computation 76, 165-210, 1988.
23. A. Sernadas, C. Sernadas. Theory spaces. Research report, DMIST, 1096 Lisboa, Portugal, 1995. Presented at ISCORE'95 and ADT/COMPASS'95.
24. A. Tarlecki. Working with multiple logical systems. Unpublished manuscript.
25. A. Tarlecki. Moving between logical systems. In M. Haveraaen et al., ed., Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, LNCS. To appear. Springer Verlag, 1996.
26. M. Wirsing. Structured algebraic specifications: A kernel language. Theorettca/ Computer Science 42, 123-249, 1986.
27. Uwe Wolter. Institutional frames. In Recent Trends in Data Type Specification. Proceedings, LNCS 906, 469-482. Springer Verlag, London, 1995.