Abstract
Algebraic logic arose as a subdiscipline of algebra mirroring constructions and theorems of mathematical logic. It is similar in this respect to such fields as algebraic geometry and algebraic topology, where the main constructions and theorems are algebraic in nature, but the main intuitions underlying them are respectively geometric and topological. The main intuitions underlying algebraic logic are, of course, those of formal logic. Investigations in algebraic logic can proceed in two conceptually different, but often (and unexpectedly) closely related ways. First one tries to investigate the algebraic essence of constructions and results in logic, in the hope of gaining more insight that one could add to his understanding, thus to his knowledge. Second, one can study certain “particular” algebraic structures (or simply algebras) that arise in the course of his first kind of investigations as objects of interest in their own right and go on to discuss questions which naturally arise independently of any connection with logic. But often such purely algebraic results have impact on the logic side. Examples are the undecidability of the representation problem for finite relation algebras [Hir-Hod,01d] that led to deep results concerning undecidability of product modal logics [Hir-Hod-Kur,02a] answering problems of Gabbay and Shehtman.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 János Bolyai Mathematical Society and Springer-Verlag
About this chapter
Cite this chapter
Ahmed, T.S. (2013). Completions, Complete Representations and Omitting Types. In: Andréka, H., Ferenczi, M., Németi, I. (eds) Cylindric-like Algebras and Algebraic Logic. Bolyai Society Mathematical Studies, vol 22. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35025-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-35025-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35024-5
Online ISBN: 978-3-642-35025-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)