Logical topologies and semantic completeness
Valentin Goranko · Cambridge University Press eBooks · 2017
We study a generic problem of proving semantic completeness of a logical system with respect to a class of "standard models", provided a weaker completeness result with respect to a larger class of "general models" has been obtained. We propose a natural topological approach to this problem based on the notion of logical topology and the related concept of logical approximation. We then obtain some general results regarding these concepts and then discuss them in the framework of first-order logic. The paper ends with an example of a particualr application of the ideas developed here, and a discussion on further research. Contents 1