Abstract
This chapter is intended as an introduction to the Deduction Theorem and to applications of this theorem in metalogic.
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.
Notes for Chapter 2
Czelakowski, J. and Dziobiak, W. [1991] A deduction theorem scheme for deductive systems of propositional logics, Studia Logica 50, Special Issue on Algebraic Logic, (eds. W.J. Blok and Don Pigozzi), 385–390.
Blok, W.J. and Pigozzi, D. [1991] Local deduction theorems in algebraic logic, in “Algebraic Logic (Proc. Conf., Budapest, 8–14 August 1988]”, (eds. H. Andréka and I. Németi), Colloq. Math. Soc., J. Bolyai, Vol. 54, North-Holland, Amsterdam, 75–109.
Pogorzelski, W.A. [1964] A survey of deductions theorems for sentential calculi (Polish), Studia Logica 15, 163–178.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Czelakowski, J. (2001). Protoalgebraicity and the Deduction Theorem. In: Protoalgebraic Logics. Trends in Logic, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2807-2_4
Download citation
DOI: https://doi.org/10.1007/978-94-017-2807-2_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5693-1
Online ISBN: 978-94-017-2807-2
eBook Packages: Springer Book Archive