Rob Simmons

96
Reputation
97 views
Is this your account?

Registered User 

Name Rob Simmons
Member for 2 years
Seen Nov 26 2011 at 2:39
Website
Location
Age
Oops, I use two-factor identification for myopenid, and while I'm out of the country I can't use my cell phone to authenticate. Should have thought about that ahead of time.
0

Questions

 

2

Answers
8
How establish conversion of cut-free proof into uniform proof?
2
Is forward chaining also a form of focusing?

 

10

Votes
10

 

0

Tags

 

3

Badges
● Supporter
 ● Editor
 ● Teacher