Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662904 | Journal of Applied Logic | 2013 | 22 Pages |
Abstract
The product of matrix logics, possibly with additional interaction axioms, is shown to preserve a slightly relaxed notion of Craig interpolation. The result is established symbolically, capitalizing on the complete axiomatization of the product of matrix logics provided by their meet-combination. Along the way preservation of the metatheorem of deduction is also proved. The computation of the interpolant in the resulting logic is proved to be polynomially reducible to the computation of the interpolants in the two given logics. Illustrations are provided for classical, intuitionistic and modal propositional logics.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
C. Sernadas, J. Rasga, A. Sernadas,