Back to Search Start Over

Interpolation in practical formal development.

Interpolation in practical formal development.

Authors :
Bicarregui, J
Dimitrakos, T
Gabbay, D
Maibaum, T
Source :
Logic Journal of the IGPL; 2001, Vol. 9 Issue 2, p231-244, 14p
Publication Year :
2001

Abstract

Interpolation (together with completeness and decidability) has become one of the standard properties that logicians investigate when designing a logic. In this paper, we provide strong evidence that the presence of interpolants is not only cogent for scientific reasoning but has also important practical implications in computer science. We illustrate that interpolation in general, and uniform splitting interpolants, in particular, play an important role in applications where formality and modularity are invoked. In recognition of the fact that common logical formalisms often lack uniform interpolants, we advocate the need for developing general methods to (re)engineer a specification logic so that (at least) some critical uniform interpolants become available. [ABSTRACT FROM PUBLISHER]

Details

Language :
English
ISSN :
13670751
Volume :
9
Issue :
2
Database :
Complementary Index
Journal :
Logic Journal of the IGPL
Publication Type :
Academic Journal
Accession number :
83181692
Full Text :
https://doi.org/10.1093/jigpal/9.2.231