chapter  37
10 Pages

Multiple Quantification I

WithG. E. Hughes, D. G. Londey

This chapter and the next three will take us beyond the limits of LPC2 but will be less systematic than previous ones have been. In particular, they will not contain any decision procedures or axiomatic bases. We shall, moreover, confine ourselves to the logic of a non-empty universe.