Annals of Pure and Applied Logic, Volume 147

Volume 147, Numbers 1-2, June 2007

• Manuela Busaniche, Daniele Mundici:
  Geometry of Robinson consistency in Lukasiewicz logic. 1-22
  Electronic Edition (link) BibTeX
• Matthias Baaz, Norbert Preining, Richard Zach:
  First-order Gödel logics. 23-47
  Electronic Edition (link) BibTeX
• Gyesik Lee:
  A comparison of well-known ordinal notation systems for epsilon₀. 48-70
  Electronic Edition (link) BibTeX
• Wei Wang, Decheng Ding:
  On definable filters in computably enumerable degrees. 71-83
  Electronic Edition (link) BibTeX
• Guram Bezhanishvili, Silvio Ghilardi:
  An algebraic approach to subframe logics. Intuitionistic case. 84-100
  Electronic Edition (link) BibTeX
• Andreas Fischer:
  O-minimal Lambda^m-regular stratification. 101-112
  Electronic Edition (link) BibTeX

Volume 147, Number 3, July 2007

• Henryk Kotlarski, Bozena Piekart, Andreas Weiermann:
  More on lower bounds for partitioning alpha-large sets. 113-126
  Electronic Edition (link) BibTeX
• L. Méhats, Sergei Soloviev:
  Coherence in smccs and equivalences on derivations in imll with unit. 127-179
  Electronic Edition (link) BibTeX
• Moshe Kamensky:
  Ind- and pro- definable sets. 180-186
  Electronic Edition (link) BibTeX
• Giorgi Japaridze:
  The intuitionistic fragment of computability logic at the propositional level. 187-227
  Electronic Edition (link) BibTeX