Skip to main content
SpringerLink
Log in

Logical semantics of modularisation

  • Conference paper
  • First Online:
Computer Science Logic (CSL 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 626))

Included in the following conference series:

  • 125 Accesses

Abstract

An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R.M. Burstall and J.A. Goguen, The semantics of CLEAR, a specification language, in: Abstract software specifications, LNCS 86, Springer-Verlag (1980) 292–332

    Google Scholar 

  2. J.A. Bergstra, J. Heering, P. Klint, Module algebra, Journal of the ACM 37 (1990) 335–372

    Google Scholar 

  3. H. Ehrig and B. Mahr, Fundamentals of algebraic specification 1, Equations and initial semantics, Springer-Verlag, 1985

    Google Scholar 

  4. H. Ehrig and B. Mahr, Fundamentals of algebraic specifications 2, Module specifications and constraints, Springer-Verlag, 1990

    Google Scholar 

  5. M.-C. Gaudel, Toward structured algebraic specifications, in: Esprit '85: Status report of continuing work, vol. 1, North-Holland (1986) 493–510

    Google Scholar 

  6. L. Henkin, An extension of the Craig-Lyndon interpolation theorem, The Journal of Symbolic Logic 28 (1963) 201–216

    Google Scholar 

  7. T.S.E. Maibaum and M.R. Sadler, Axiomatising specification theory, in: H.-J. Kreowski (ed.), Recent trends in data type specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Informatik-Fachberichte 116, Springer-Verlag (1985) 171–177

    Google Scholar 

  8. D. Pigozzi, The join of equational theories, Colloquium Mathematicum 30 (1974), 15–25

    Google Scholar 

  9. A.M. Pitts, On an interpretation of second order quantification in first order intuitionistic propositional logic, to appear in The Journal of Symbolic Logic

    Google Scholar 

  10. G.R. Renardel de Lavalette, Modularisation, parametrisation, interpolation, Journal of Information Processing and Cybernetics EIK 25 (1989) 283–292

    Google Scholar 

  11. G.R. Renardel de Lavalette, COLD-K2, the Static Kernel of COLD-K, Report RP/mod-89/8, Software Engineering Research Centre, Utrecht, 1989

    Google Scholar 

  12. P.H. Rodenburg, On the ω-completeness of a fragment of module algebra, manuscript (1990)

    Google Scholar 

  13. P.H. Rodenburg, A simple algebraic proof of the equational interpolation theorem, Algebra Universalis 28 (1991) 48–51

    Google Scholar 

  14. P.H. Rodenburg, Interpolation in conditional equational logic, Fundamenta Informaticae 15 (1991) 80–85

    Google Scholar 

  15. P.H. Rodenburg, Interpolation in equational logic, Report P9201, Programming Research Group, University of Amsterdam, 1992

    Google Scholar 

  16. M. Wirsing, Structured algebraic specifications: a kernel language, Habilitationsschrift, Institut für Informatik, Technische Universität, München, 1983

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Groningen, P.O.Box 800, 9700, AV Groningen, The Netherlands

    Gerard R. Renardel de Lavalette

Authors
  1. Gerard R. Renardel de Lavalette
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Gerhard Jäger Hans Kleine Büning Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Renardel de Lavalette, G.R. (1992). Logical semantics of modularisation. In: Börger, E., Jäger, G., Kleine Büning, H., Richter, M.M. (eds) Computer Science Logic. CSL 1991. Lecture Notes in Computer Science, vol 626. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023776

Download citation

  • DOI: https://doi.org/10.1007/BFb0023776

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55789-0

  • Online ISBN: 978-3-540-47285-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation