Article PDF
Avoid common mistakes on your manuscript.
References
Andréka, Hajnal, and István Németi, A general axiomatizability theorem formulated in terms of cone-injective subcategories. In B. Csakany, E. Fried, and E.T. Schmidt (eds.), Universal Algebra. North-Holland, 1981, pp. 13–35.
Barwise Jon: Axioms for abstract model theory. Annals of Mathematical Logic 7, 221–265 (1974)
Barwise, Jon, and Solomon Feferman (eds.), Model-Theoretic Logics. Springer, 1985.
Burstall, Rodney M., and Joseph A. Goguen, Putting theories together to make specifications. In Fifth International Joint Conference on Artificial Intelligence Boston, 1977, pp. 1045–1058.
Burstall, Rodney M., and Joseph A. Goguen, The semantics of Clear, a specification language. In D. Bjørner (ed.), Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, Lecture Notes in Computer Science, Vol. 86, pp. 292–332. Springer, 1980.
Chang, Chen-Chung, and H. Jerome Keisler, Model Theory. North-Holland, third edition, 1990.
Goguen Joseph A, Burstall Rodney M: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39(1), 95–146 (1992)
Goguen Joseph A., Grigore Roşu: Institution morphisms. Formal Aspects of Computing 13(3-5), 274–307 (2002)
Mosses, Peter D. (ed.), Casl Reference Manual, Lecture Notes in Computer Science, Vol. 2960. Springer, 2004.
Sannella Donald, Andrzej Tarlecki: On observational equivalence and algebraic specification. Journal of Computer and System Sciences 34, 150–178 (1987)
Sannella Donald, Andrzej Tarlecki: Specifications in an arbitrary institution. Information and Computation 76(2-3), 165–210 (1988)
Sannella, Donald, and Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer, 2012.
Tarlecki, Andrzej, Bits and pieces of the theory of institutions. In D.H. Pitt, S. Abramsky, A. Poigné, and D.E. Rydeheard (eds.), Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming, Guildford, Lecture Notes in Computer Science, Vol. 240, pp. 334–360. Springer, 1986.
Tarlecki Andrzej: Quasi-varieties in abstract algebraic institutions. Journal of Computer and System Sciences 33(3), 333–360 (1986)
Tarlecki, Andrzej, Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl (eds.), Recent Trends in Data Type Specification. Selected Papers from the 11th Workshop on Specification of Abstract Data Types, Oslo, Lecture Notes in Computer Science, Vol. 1130, pp. 478–502. Springer, 1996.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Tarlecki, A. Răzvan Diaconescu, Institution-independent Model Theory. Stud Logica 102, 225–229 (2014). https://doi.org/10.1007/s11225-014-9541-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9541-8