ABSTRACT

We shall extend the axiomatic basis for PM+LPC1 (Chapter 29) in such a way that we can derive all valid wffs of LPC2 as theses. We call the resulting system, PM+LPC2.