CLC (Bull)

• [Bull, 1962]

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
  • p > (q > p)
  • (p > (p > q)) > (p > q)
  • (p > q) > ((q > r) > (p > r))
  • ((p > q) > r) > (((q > p) > r) > r)

[Bull, 1962, p192]

Basis for

Go to ...

• Logic Systems Page
• Logic Structures Page
• Logic Page
• John Halleck's Home Page

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