A Relatively Complete Calculus for Structured Heterogeneous Specifications
- 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
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.
Unable to display preview. Download preview PDF.