Learn More
These notes discuss formal iz ing contexts as first class objects. The basic relat ion is ist(c,p). It asserts tha t the proposition p is t rue in the context c. The most impor tant formulas relate(More)