90 search results - page 1 / 18 » The Craig Interpolation Theorem in abstract model theory |
SYNTHESE
2008
13 years 4 months ago
2008
g Interpolation Theorem in abstract model theory Jouko V
TACAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
SYNTHESE
2008
13 years 4 months ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...