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  3422 reads

Browse archivesActive forum topics 
Recent comments
1 day 14 hours ago
3 days 22 hours ago
4 days 1 hour ago
4 days 20 hours ago
5 days 3 hours ago
5 days 6 hours ago
5 days 7 hours ago
5 days 9 hours ago
6 days 1 hour ago
6 days 5 hours ago