chapter  24
4 Pages

The System LPC1

WithG. E. Hughes, D. G. Londey

The formulae in this system contain predicate variables, operators and quantifiers, but no individual-variables. Every wff of LPC1 consists either of a quantified schema, or of a truth-function of one or more quantified schemata.