# CLC (Bull)

## Notes

Bull doesn't actually give this system a name. I've given it CLC
so I have SOMETHING to call it. -JH

## Based on

CLC is the implicational fragment of Heyting's Calculus +
((p > q) > r) > (((q > p) > r) > r)
[Bull,
1962, p187]

- Rules
- Uniform substitution (US)
- Modus Ponens for > (MP>)

- Axioms

[Bull,
1962, p192]

## Basis for

# Go to ...

This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/clc.html
This page was last modified on November 2nd, 2005.