Reports on Mathematical Logic, Volume 39

Volume 39, 2005

• M. Schirn, K. G. Niebergal:
  Finitism = PRA? On a Thesis of W. W. Tait. 3-24
  
• George Weaver:
  Compactness in Equational Logic. 25-46
  
• Gemma Robles, José M. Méndez, Francisco Salto:
  Minimal Negation in the Ternary Relational Semantics. 47-65
  
• Marek Zaionc:
  On the Asymptotic Density of Tautologies in Logic of Implication and Negation. 67-87
  
• M. B. Lattanzi:
  (n+1)-bounded Wajsberg Algebras with a U-operator. 89-111
  
• Sergio A. Celani:
  Modal Tarski Algebras. 113-126
  
• Kamila Bendová:
  Interpolation and Three-valued Logics. 127-131
  
• James G. Raftery, Clint J. van Alten:
  Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. 133-135