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

Browse archivesActive forum topics 
Recent comments
1 day 6 hours ago
1 day 20 hours ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 1 day ago
3 weeks 2 days ago