Journal article
On a generalized modularization theorem
Abstract
The relation between a metalogical property of entailment (interpolation) and a structural property of categories of theory presentations (stability of faithful morphisms under pushouts) is studied in a general logical framework. The stability of faithful morphisms for any specific instance of the pushout construction is shown to be equivalent to the existence of interpolants over the corresponding locus of the underlying logic. The latter …
Authors
Dimitrakos T; Maibaum T
Journal
Information Processing Letters, Vol. 74, No. 1-2, pp. 65–71
Publisher
Elsevier
Publication Date
4 2000
DOI
10.1016/s0020-0190(00)00037-5
ISSN
0020-0190