Journal article
Interpolation in practical formal development
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 …
Authors
Bicarregui J; Dimitrakos T; Gabbay D; Maibaum T
Journal
Logic Journal of IGPL, Vol. 9, No. 2, pp. 231–244
Publisher
Oxford University Press (OUP)
Publication Date
March 1, 2001
DOI
10.1093/jigpal/9.2.231
ISSN
1367-0751