Annals of Pure and Applied Logic, Volume 153

Volume 153, Numbers 1-3, April 2008

• Steffen van Bakel, Stefano Berardi:
  Preface. 1-2
  
• Stéphane Lengrand, Alexandre Miquel:
  Classical F_omega, orthogonality and symmetric candidates. 3-20
  
• Koji Nakazawa, Makoto Tatsuta:
  Strong normalization of classical natural deduction with disjunctions. 21-37
  
• Kentaro Kikuchi:
  Call-by-name reduction and cut-elimination in classical logic. 38-65
  
• Noam Zeilberger:
  On the unity of duality. 66-96
  
• Monika Seisenberger:
  Programs from proofs using classical dependent choice. 97-110
  
• Stefano Berardi, Yoriyuki Yamagata:
  A sequent calculus for limit computable mathematics. 111-126