A Relatively Complete Calculus for Structured Heterogeneous Specifications

  • Till Mossakowski
  • Andrzej Tarlecki
Conference paper

DOI: 10.1007/978-3-642-54830-7_29

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8412)
Cite this paper as:
Mossakowski T., Tarlecki A. (2014) A Relatively Complete Calculus for Structured Heterogeneous Specifications. In: Muscholl A. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2014. Lecture Notes in Computer Science, vol 8412. Springer, Berlin, Heidelberg

Abstract

Proof calculi for structured specifications have been developed independently of the underlying logical system (formalised as institution). Typically, completeness of these calculi requires interpolation properties of the underlying logic. We develop a relatively complete calculus for structured heterogeneous specifications that does not need interpolation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Till Mossakowski
    • 1
  • Andrzej Tarlecki
    • 2
  1. 1.Faculty of Computer ScienceOtto-von-Guericke University of MagdeburgGermany
  2. 2.Institute of InformaticsUniversity of WarsawPoland

Personalised recommendations