6533b7d5fe1ef96bd1264fb2

RESEARCH PRODUCT

Protoalgebraicity and the Deduction Theorem

Janusz Czelakowski

subject

Pure mathematicsDeduction theoremFundamental theoremComputer Science::Logic in Computer ScienceCompactness theoremHeyting algebraSequent calculusFixed-point theoremGödel's completeness theoremSqueeze theoremMathematics

description

This chapter is intended as an introduction to the Deduction Theorem and to applications of this theorem in metalogic.

yearjournalcountryeditionlanguage
2001-01-01
https://doi.org/10.1007/978-94-017-2807-2_4