Abstract
The purpose of this chapter is to give a systematic treatment of the most important results concerning different notions of completeness for propositional logics. We consider, in Section 3.1, the notion of Γ-completeness and Γ-maximality and use them in the further development of the theory of Post-complete (Section 3.2) and structurally complete (Section 3.4) systems. Thus, Section 3.1 is rather technical; we search there for properties which Post-completeness, structural completeness, maximality and other similar notions have in common.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Birkhäuser Verlag AG
About this chapter
Cite this chapter
(2008). Completeness of propositional logics. In: Completeness Theory for Propositional Logics. Studies in Universal Logic. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8518-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8518-7_3
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8517-0
Online ISBN: 978-3-7643-8518-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)