Weak inclusion systems

Mathematical Structures in Computer Science

Volumn 7, Issue 2, 1997, Pages 195-206

  Cazanescu, Virgil Emil ^a,b   RoŞu, Grigore ^a,b  

^a Department of Computer Science ^*

^b UNIVERSITY OF BUCHAREST   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000452330     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0960129596002253     Document Type: Article

References (12)

1. Andreka, H. and Nemeti, I. (1981) A general axiomatizability theorem formulated in terms of cone-injective subcategories. In: Csakany, B., Fried, E. and Schmidt, E. T. (eds.) Universal Algebra, North-Holland 13–35. (Colloquia Mathematics Societas Janos Bolyai 29.)
2. Chang, C. C. and Keisler, H. J. (1973) Model Theory, North-Holland. Cazanescu, V. E. (1972) Familles initiales et finales. Revue Roumaine de Mathematiques et Appliques 17 (6).
3. Diaconescu, R., Goguen, J. and Stefaneas, P. (1993) Logical support for modularisation. In: Huet, G. and Plotkin, G. (eds.) Logical Environments, Cambridge University Press. (Proceedings of a Workshop held in Edinburgh, Scotland, May 1991.)
4. Goguen, J. and Burstall, R. (1992) Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39(1) 95–146. (Draft appears as Report ECS-LFCS-90-106, Computer Science Department, University of Edinburgh, January 1990.)
5. Herrlich, H. and Strecker, G. (1973) Category Theory, Allyn and Bacon.
6. Hilbedrik, H. (in preparation) Inclusion Systems, Ph.D. thesis, University of Oxford.
7. Mac Lane, S. (1971) Categories for the Working Mathematician, Springer-Verlag.
8. Mitchell, B. (1965) Theory of categories, Academic Press.
9. Nemeti, I. (1982) On notions of factorisation systems and their applications to cone-injective subcategories. Periodica Mathematica Hungarica 13(3) 229–335.
10. Nemeti, I. and Sain, I. (1981) Cone-implicational subcategories and some birkhoff-type theorems. In: Csakany, B., Fried, E. and Schmidt, E. T. (eds.) Universal Algebra, North-Holland 535–578. (Colloquia Mathematics Societas Janos Bolyai 29.)
11. Tarlecki, A. (1984) Free constructions in algebraic institutions. In: Chytil, M. P. and Koubek, V. (eds.) Proceedings, International Symposium on Mathematical Foundations of Computer Science. Springer-Verlag Lecture Notes in Computer Science 176. (Extended version: University of Edinburgh, Computer Science Department, Report CSR-149-83.)
12. Tarlecki, A. (1986) On the existence of free models in abstract algebraic institutions. Theoretical Computer Science 37 269–304. (Preliminary version: University of Edinburgh, Computer Science Department, Report CSR-165-84, 1984.)