ABSTRACT
In this chapter we present the formal outlines of the model developed in this book. A version of the system of Volume 2 is used for illustration. Henceforth, models for logical judgment that have the form of natural deduction systems (cf. Section 3.4) will be called deduction models.
