Abstract
In this paper we present a model-theoretic approach to a general theory of logics. We define a model-theoretical abstract logic as a structure consisting of a set of expressions, a class of interpretations and a satisfaction relation between interpretations (models) and expressions. The main idea is to use the observation that there exist in some sense pre-topological structures on the set of theories and on the class of interpretations. For example, if the logic has conjunction, then these structures turn out to be topological spaces. Properties of a given abstract logic now are reflected in topological properties of these spaces. One of the aim of this research is to investigate relationships between abstract logics. We introduce the concept of a logic-homomorphism between abstract logics by means of topological terms. This leads in a natural way to the notion of a logic-isomorphism, a mapping that preserves all structural properties of a logic. We study in detail variations of logic-homomorphisms and their properties. One of the main results is that logic-homomorphisms with a special property satisfy a condition which has the same form as the satisfaction axiom of institutions. This fact can serve in future work to investigate possible connections between (classes of) model-theoretical abstract logics and a resulting institution. At the end of the paper we sketch out this idea. Furthermore, we outline two examples of model-theoretical abstract logics and the respective logic-homomorphisms. However, a systematic study of relevant logics as abstract logics, together with their logic-homomorphisms and further relationships, remains to be done in future work.
This research was supported by CNPq grant 150309/2003-1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Engelking, General Topology. Second edition, Heldermann Verlag, 1989.
J. A. Goguen and R. M. Burstall, Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM, 39(1):95–146, January 1992.
A. Martini, Relating Arrows between Institutions in a Categorical Framework. Dissertation, Technical University of Berlin, 1999.
R.. Wójcicki, Theory of Logical Calculi. Kluwer Academic Publishers, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Lewitzka, S. (2005). A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics. In: Beziau, JY. (eds) Logica Universalis. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7304-0_3
Download citation
DOI: https://doi.org/10.1007/3-7643-7304-0_3
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7259-0
Online ISBN: 978-3-7643-7304-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)