On Equational Craig Interpolation

Grigore Rosu (Department of Computer Science & Engineering, University of California, San Diego and Fundamentals of Computing, Faculty of Mathematics, University of Bucharest, Romania)

Joseph Goguen (Department of Computer Science & Engineering, University of California, USA)

Abstract: Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications.