[Hughes and Cresswell, 1968]
[Hughes and Cresswell, 1968, p295]
- C1: p=>p
- C3b: (q=>r)=>((p=>q)=>(p=>r))
- C3a: a=>(b=>a) [Where a and b are both
of the form (x => y) ]
Go to ...
© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/c3.html
This page was last modified on November 21st, 2004