Combining and representing logical systems using model-theoretic parchments

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

Volumn 1376, Issue , 1998, Pages 349-364

  Mossakowski, Till ^a   Tarlecki, Andrzej ^b   Pawtowski, Wiesław ^c  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF WARSAW   (Poland)

^c INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957893160     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64299-4_44     Document Type: Conference Paper

References (16)

1. J. Adámek, H. Herrlich, G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990.
2. Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic 7, 221-265, 1974.
3. M. Fitting. Basic Modal Logic. In D.M. Gabbay, C.J. Hogger, J.A. Robinson, and J. Siekmann, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations. Clarendon Press, Oxford, 1993.
4. J.A. Goguen. A categorical manifesto. Mathematical Structures in Computer Science 1, 49-67, 1991.
5. J.A. Goguen, R. M. Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In D. Pitt et al., ed, Category Theory and Computer Programming, LNCS 240, 313-333. Springer 1985.
6. 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, 221-256, Springer 1984.
7. B. Mayoh. Galleries and Institutions. Report DAIMI PB-191, Aarhus University, 1985.
8. J. Meseguer. General logic. In H.-D. Ebbinghaus et al., eds., Logic Colloquium’87, 279-329. North-Holland, 1989.
9. T. Mossakowski. Using limits of parchments to systematicMly construct institutions of partial algebras. In M. Haveraaen, O. Owe, O.-J. DaM, eds., Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, LNCS 1130, 379-393. Springer 1996.
10. T. Mossakowski, A. Tarlecki, W. Pawlowski. Combining and representing logical systems. In E. Moggi, ed., Category Theory and Computer Science, LNCS 1290, 177-198, Springer 1997.
11. T. Mossakowski, A. Tarlecki, W. Pawtowski. Combining and Representing Logical Systems Using Model-Theoretic Parchments. Technical report, Warsaw University, 1997. See: http://wwwat.mimuw.edu.pl/tarlecki/drafts/adt97.ps.
12. P. Padawitz. Computing in Horn Clause Theories. Springer 1988.
13. P. Stefaneas. The first order parchment. Report PRG-TR-16-92, Oxford University Computing Laboratory, 1992.
14. A. Tarlecki. Bits and pieces of the theory of institutions. In D. Pitt, S. Abramsky, A. Poigné, D. Rydeheard, eds., Proc. Intl. Workshop on Category Theory and Computer Programming, Guildford 1985, LNCS 240, 334-363. Springer 1986.
15. A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, O.-J. Dahl, eds., Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, LNCS 1130, 478-502. Springer 1996.
16. A. Tarlecki, J. A. Goguen, R. M. Burstall. Some ftmdamental algebraic tools for the semantics of computation. Part IIh Indexed categories. Theoretical Computer Science 91, 239-264, 1991.