The main result of this dissertation provides rather
general conditions under which extensions of zero order
propositional calculi inherit the property of having a
finite characteristic model. This result is applied to
show that if a calculus T is a normal extension of the
Heyting calculus H, and if T...