This monograph presents a proof grammar for a formal language containing property symbols of every finite type. The proof grammar is thus applicable to any finite level higher-order logic.
The unique features of this system are: first, its mode of presentation as a recursive discourse grammar rigorously constructed from the...