Moving between logical systems
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 478-502
- https://doi.org/10.1007/3-540-61629-2_59
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Structured theory presentations and logic representationsAnnals of Pure and Applied Logic, 1994
- A framework for defining logicsJournal of the ACM, 1993
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Simple consequence relationsInformation and Computation, 1991
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 1988
- Specifications in an arbitrary institutionInformation and Computation, 1988
- Galleries and InstitutionsDAIMI Report Series, 1985
- Algebraic and operational semantics of specifications allowing exceptions and errorsTheoretical Computer Science, 1984
- Partial abstract typesActa Informatica, 1982
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970