ABSTRACT
So I continue with a language L as defined in Chapter 1 .12, and I shall now make use of the maps rep and sub studied in Chapter 1 .13 . For any of the propositional sequent calculi developed in Chapters 1 - 4 , I define two cor responding quantifier calculi. For both of them I
consider sequents consisting of formulas from the quantifier languages of Chapter 1.12,
use atomic formulas instead of propositional variables in the axioms of the calculus.
