Back to Search
Start Over
Interpolation in practical formal development.
Interpolation in practical formal development.
- 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]
- Subjects :
- INTERPOLATION
REASONING
COMPUTER science
LOGIC
INTELLECT
Subjects
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