A relatively complete calculus for structured heterogeneous specifications
T. Mossakowski, and A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 8412 of Lecture Notes in Computer Science, page 441-456. Springer-Verlag Berlin Heidelberg, (2014)
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.
%0 Conference Paper
%1 MossakowskiTarlecki14
%A Mossakowski, Till
%A Tarlecki, Andrzej
%B 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
%D 2014
%E Muscholl, Anca
%I Springer-Verlag Berlin Heidelberg
%K calculus complete heterogeneous proof sound specification structured
%P 441-456
%T A relatively complete calculus for structured heterogeneous specifications
%U http://link.springer.com/chapter/10.1007%2F978-3-642-54830-7_29
%V 8412
%X 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.
@inproceedings{MossakowskiTarlecki14,
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.},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Mossakowski, Till and Tarlecki, Andrzej},
biburl = {https://www.bibsonomy.org/bibtex/2a00a69fc6ea9d6f2fe6ba3cd7c3d8e3d/tillmo},
booktitle = {17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)},
editor = {Muscholl, Anca},
interhash = {70530cd2e7208c01bc655e8f2cfd0404},
intrahash = {a00a69fc6ea9d6f2fe6ba3cd7c3d8e3d},
keywords = {calculus complete heterogeneous proof sound specification structured},
pages = {441-456},
pdfurl = {http:///www.informatik.uni-bremen.de/~till/papers/het-calculus.pdf},
publisher = {Springer-Verlag Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {A relatively complete calculus for structured heterogeneous specifications},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-54830-7_29},
volume = 8412,
year = 2014
}