Abstract Beth definability in institutions

Journal of Symbolic Logic

Volumn 71, Issue 3, 2006, Pages 1002-1028

  Petria, Marius ^a,b,c   Diaconescu, Rǎzvan ^a  

^a INSTITUTE OF MATHEMATICS   (Romania)

^b ŞCoala Normala Superioara ^*  (Romania)

^c UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744746176     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1154698588     Document Type: Article

References (54)

1. HAJNAL ANDRÉKA and ISTÁAN NÉMETI, Łos lemma holds in every category, Studia Scientiarum Mathematicarum Hungarica, vol. 13 (1978), pp. 361-376.
2. _, A general axiomatizability theorem formulated in terms of cone-injective subcategories, Universal algebra (B. Csakany, E. Fried, and E. T. Schmidt, editors), North-Holland, 1981, Colloquia Mathematics Societas János Bolyai, 29, pp. 13-35.
3. _, Generalization of the concept of variety and auasivariety to partial algebras through category theory, Dissertationen Mathematicae, vol. CCIV (1983).
4. JAN BERGSTRA, JAN HEERING, and PAUL KLINT, Module algebra. Journal of the Association for Computing Machinery, vol. 37 (1990), no. 2, pp. 335-372.
5. MICHEL BIDOIT and ROLF HENNICKER, On the integration of the observability and reachability concepts, Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'2002), Lecture Notes in Computer Science, vol. 2303, 2002, pp. 21-36.
6. MICHEL BIDOIT and ANDRZBJ TAKLECKI, Behavioural satisfaction and equivalence in concrete model categories, Proceedings of the 21st Colloquium on Trees in Algebra and Programming, Lecture Notes in Computer Science, vol. 1059, Springer Verlag, 1996, pp. 241-256.
7. TOMASZ BORZYSZKOWSKI, Higher-order logic and theorem proving for structured specifications, Workshop on Algebraic Development Techniques 1999 (Christine Choppy, Didier Bert, and Peter Mosses, editors), Lecture Notes in Computer Science, vol. 1827, 2000, pp. 401-418.
8. _, Generalized interpolation in CASL, Information Processing Letters, vol. 76 (2001), pp. 19-24.
9. PETER BURMEISTER, A model theoretic oriented approach to partial algebras, Akademie-Verlag, Berlin, 1986.
10. MAURA CERIOLI and JOSÉ MESEGUER, May I borrow your logic? (transporting logical structures along maps), Theoretical Computer Science, vol. 173 (1997), pp. 311-347.
11. C. C. CHANG and H. J. KEISLER, Model theory, North Holland, Amsterdam, 1990.
12. CORINA CÎRSTEA, Institutionalising many-sorted coalgebraic modal logic, Coalgctraic Methods in Computer Science 2002, Electronic Notes in Theoretical Computer Science, 2002.
13. RǍZVAN DIACONESCU, Extra theory morphisms for institutions: logical semantics for multiparadigm languages. Applied Categorical Structures, vol. 6 (1998), no. 4, pp. 427-453, a preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in 1997.
14. _, Institution-independent ultraproducts, Fundamenta Informatics, vol. 55 (2003), no. 3-4, pp. 321-348.
15. _, Elementary diagrams in institutions, Journal of Logic and Computation, vol. 14 (2004), no. 5, pp. 651-674.
16. _, An institution-independent proof of Craig Interpolation Theorem, Studia Logica, vol. 77 (2004), no. 1, pp. 59-79.
17. _, Interpolation in Grothendieck institutions, Theoretical Computer Science, vol. 311 (2004), pp. 439-461.
18. _, Jewels of institution-independent model theory, Algebra, meaning and computation (Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday), Lecture Notes in Computer Science, vol. 4060, Springer, 2006.
19. _, Proof systems for institutional logic, Journal of Logic and Computation, vol. 16 (2006), pp. 339-357.
20. _, Institution-independent model theory, to appear, book draft. Ask author for current draft at Razvan. Diaconescu@imar.ro.
21. RǍZVAN DIACONESCU, JOSEPH GOGUEN, and PETROS STEFANEAS, Logical support for modularisation, Logical environments (Gerard Huet and Gordon Plotkin, editors), Cambridge, 1993, proceedings of a workshop held in Edinburgh, Scotland, May 1991, pp. 83-130.
22. THEODOSIS DIMITRAKOS and TOM MAIBAUM, On a generalized modularization theorem, Information Processing Letters, vol. 74 (2000), pp. 65-71.
23. J. L. FIADEIRO and J. F. COSTA, Mirror, mirror in my hand: A duality between specifications and models of process behaviour. Mathematical Structures in Computer Science, vol. 6 (1996), no. 4, pp. 353-373.
24. DANIEL GǍINǍ and ANDREI POPESCU, An institution-independent generalization of Tarski's Elementary Chain Theorem, Journal of Logic and Computation, to appear.
25. _, An institution-independent proof of Robinson consistency theorem, Studia Logica, to appear.
26. JOSEPH GOGUEN and ROD BURSTALL, Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, vol. 39 (1992), no. 1, pp. 95-146.
27. JOSEPH GOGUEN and RǍZVAN DIACONBSCU, Towards an algebraic semantics for the object paradigm, Recent trends in data type specification (Harmut Ehrig and Fernando Orejas, editors), Lecture Notes in Computer Science, vol. 785, Springer, 1994, pp. 1-34.
28. JOSEPH GOGUEN and GRIGORE ROŞU, Institution morphisms. Formal Aspects of Computing, vol. 13 (2002), pp. 274-307.
29. GEORGE GRÄTZER, Universal algebra, Springer, 1979.
30. WILFRID HODGES, Model theory, Cambridge University Press, 1993.
31. JOACHIM LAMBEK and PHIL SCOTT, Introduction to Higher order categorical logic, Cambridge Studies in Advanced Mathematics, vol. 7, Cambridge, 1986.
32. YNGVE LAMO, The institution of multialgebras - a general framework for algebraic software development, PhD thesis, University of Bergen, 2003.
33. SAUNDERS MAC LANE, Categories for the working mathematician, second ed., Springer, 1998.
34. G. MATTHIESSEN, Regular and strongly finitary structures over strongly algebroidal categories, Canadian Journal of Mathematics, vol. 30 (1978), pp. 250-261.
35. JOSÉ MESEGUER, General logics. Logic Colloquium, 1987 (H.-D. Ebbinghaus et al., editors), North-Holland, 1989, pp. 275-329.
36. _, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol. 96 (1992), no. 1, pp. 73-155.
37. _, Membership algebra as a logical framework for equational specification, Proceedings of the WADT'97 (F. Parisi-Pressice, editor), Lecture Notes in Computer Science, no. 1376, Springer, 1998, pp. 18-61.
38. TILL MOSSAKOWSKI, Specification in an arbitrary institution with symbols, Recent trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France (C. Choppy, D. Bert, and P. Mosses, editors), Lecture Notes in Computer Science, vol. 1827, Springer-Verlag, 2000, pp. 252-270.
39. _, Relating CASL with other specification languages: the institution level, Theoretical Computer Science, vol. 286 (2002), pp. 367-475.
40. TILL MOSSAKOWSKI, JOSEPH GOGUEN, RǍZVAN DIACONBSCU, and ANDRZEJ TARLECKI, What is a logic? Logica universalis (Jean-Yves Beziau, editor), Birkh pp. 113-133.
41. ISTVÁN NÉMETI and ILDIKÓ SAIN, Cone-implicational subcategories and some Birkhoff-type theorems, Universal algebra (B. Csakany, E. Fried, and E. T. Schmidt, editors), North-Holland, 1981, Colloquia Mathematics Societas János Bolyai, 29, pp. 535-578.
42. ANDREI POPESCU, TRAIAN ŞERBǍNUŢǍ, and GRIGORE ROŞU, A semantic approach to interpolation, submitted.
43. PITER-HENDRIK RODENBURG, A simple algebraic proof of the equational interpolation theorem, Algebra Universalis, vol. 28 (1991), pp. 48-51.
44. DONALD SANNELLA and ANDRZEJ TARLECKI, Specifications in an arbitrary institution, Information and Control, vol. 76 (1988), pp. 165-210,
45. earlier version in Proceedings, International Symposium on the Semantics of Data Types, Lecture Notes in Computer Science, vol. 173, Springer, 1985.
46. LUTZ SCHRÖDER, TILL MOSSAKOWSKI, and CHRISTOPH LÜTH, Type class polymorphism in an institutional framework. Recent trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004) (José Fiadeiro, editor), Lecture Notes in Computer Science, vol. 3423, Springer, Berlin, 2004, pp. 234-248.
47. JOSEPH SHOENFIELD, Mathematical logic, Addison-Wesley, 1967.
48. ANDRZEJ TARLECKI, Bits andpieces of the theory of institutions, Proceedings, Summer Workshop on Category Theory and Computer Programming (David Pitt, Samson Abramsky, Axel Poigne, and David Rydeheard, editors), Lecture Notes in Computer Science, vol. 240, Springer, 1986, pp. 334-360.
49. _, On the existence of free models in abstract algebraic institutions, Theoretical Computer Science, vol. 37 (1986), pp. 269-304,
50. preliminary version, University of Edinburgh, Computer Science Department, Report CSR-165-84, 1984.
51. _, Quasi-varieties in abstract algebraic institutions, Journal of Computer and System Sciences, vol. 33 (1986), no. 3, pp. 333-360, original version, University of Edinburgh, Report CSR-173-84.
52. _, Moving between logical systems, Recent trends in data type specification (Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl, editors), Lecture Notes in Computer Science, Springer, 1996, pp. 478-502.
53. _, Towards heterogeneous specifications, Proceedings, International Conference on Frontiers of Combining Systems (FroCoS'98) (D. Gabbay and M. van Rijke, editors), Research Studies Press, 2000, pp. 337-360.
54. PAULO VELOSO, On pushout consistency, modularity and interpolation for logical specifications, Information Processing Letters, vol. 60 (1996), no. 2, pp. 59-66.