User loginNavigation 
The Logic of ProofsIn another thread Paul Snively mentions the Logic of Proofs with references to several papers. The Basic Intuitionistic Logic of Proofs (PDF), Explicit Provability and Constructive Semantics (PS) are two. The third is probably the one most immediately relevant/applicable to LtU. Reflective lambdacalculus (PS) by Jesse Alt and Sergei Artemov. 2001.
By Derek Elkins at 20080120 21:39  LtU Forum  previous forum topic  next forum topic  other blogs  3221 reads

Browse archivesActive forum topics 
Recent comments
4 days 18 hours ago
6 days 22 hours ago
6 days 22 hours ago
6 days 22 hours ago
6 days 23 hours ago
6 days 23 hours ago
1 week 1 hour ago
1 week 5 hours ago
1 week 7 hours ago
1 week 11 hours ago