O'Reilly logo

Practical Foundations for Programming Languages by Robert Harper

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

3 Hypothetical and General Judgments

A hypothetical judgment expresses an entailment between one or more hypotheses and a conclusion. We consider two notions of entailment, called derivability and admissibility. Both enjoy the same structural properties, but they differ in that derivability is stable under extension with new rules, admissibility is not. A general judgment expresses the universality, or generality, of a judgment. There are two forms of general judgment, the generic and the parametric. The generic judgment expresses generality with respect to all substitution instances for variables in a judgment. The parametric judgment expresses generality with respect to renamings of symbols.

3.1 Hypothetical Judgments

   

The hypothetical ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required