Lecture Notes On Categorical Judgments

Lecture Notes on Categorical Judgments

Lecture Notes on Categorical Judgments 15-816: Modal Logic Frank Pfenning Lecture 3 January 19, 2010 1 Introduction The main basic judgments we have considered so far are: A true A is true A↑ A has a verification A↓ A may be used M : A M is a proof term for A, or, equivalently, M has type A In addition, we have considered hypothetical ...

  Lecture, Notes, Judgments, Categorical, Lecture notes on categorical judgments