next up previous contents index
Next: Constructive Logic Up: Statements and Definitions Previous: Propositions as Types

Defining Logics

In this section we shall show how one can use the type theory described above to define various logics. The general pattern of presentation will be as follows:

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995