ABSTRACT
The types of the logics TT and ITT, apart from their notation, differ from the types of Church’s Simple Theory of Types [28] only in the absence of types for functions with values of type other than the type [ ] of the truth values. This chapter is concerned primarily with filling that gap.
