Abstract
This chapter contains a proof that the basic tableau rules are sound and complete with respect to generalized Henkin models. Soundness is by the “usual” argument, is straightforward, and is what I begin with. Completeness is something else altogether. For that I use the ideas developed simultaneously in [Tak67, Pra68], where they were applied to give a non-constructive proof of a cut eliminat ion theorem.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fitting, M. (2002). Soundness And Completeness. In: Types, Tableaus, and Gödel’s God. Trends in Logic, vol 12. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0411-4_4
Download citation
DOI: https://doi.org/10.1007/978-94-010-0411-4_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3912-3
Online ISBN: 978-94-010-0411-4
eBook Packages: Springer Book Archive