• Welcome back
  
• iPRL: A General Approach to Inter
  
• Talk Outline
  
• Isabelle Theory Structure
  
• NuPRL vs. Pure Isabelle
  
• Isabelle Propositional Logic
  
• Can we do the same in NuPRL?
  
• Should we do the same in NuPRL?
  
• Do we gain anything by translatin
  
• Two Steps of Translation
  
• What do we need iPRL for?
  
• Multiple Interpretations of iPRL
  
• Propositional Theory of Equality
  
• Can we do the same in NuPRL?
  
• Can we do it better than P. Jacks
  
• First Order Logic
  
• Isabelle First Order Logic
  
• Translation of FO Results
  
• Going Classic
  
• Peano Arithmetic
  
• Where are the problems?

---

Download slide show file

---