CH (Bull)


Bull doesn't actually give this system a name, instead refering to it as "The implicational fragment of Heyting's Calculus". I've given it CH so I have SOMETHING to call it. -JH

Based on

[Bull, 1962, p192]

Basis for

CLC is CH + ((p > q) > r) > (((q > p) > r) > r) [Bull, 1962, p187]

Go to ...

This page is
This page was last modified on December 11th, 2006.