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.
|Original language||English (US)|
|Number of pages||7|
|Journal||Journal of Universal Computer Science|
|State||Published - Jan 1 2000|
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)