ArticleOriginal scientific text

Title

Algebraic Characterization of the Local Craig Interpolation Property

Authors

Abstract

The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain. 

Keywords

Craig interpolation, Algebraic logic, Superamalgamation
Main language of publication
English
Published
2018
Humanities