Reports on Mathematical Logic, Volume 35

Volume 35, 2001

• Camillo Fiorentini:
  Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics. 3-46
  
• J. W. Degen:
  Proof Theory for Finitely Valid Sentences. 47-59
  
• Robert Cowen:
  Property S. 61-74
  
• Joanna Grygiel:
  Boolean Constructions of Independent Sets of Generators for Filters. 75-85
  
• Piotr Wojtylak, Andrzej Wronski:
  On the Problem of R. E. Tax. 87-101
  
• George Georgescu:
  Some Model Theory for Probability Structures. 103-113
  
• Josep Maria Font, Ramon Jansana, Don Pigozzi:
  Fully Adequate Gentzen Systems and the Deduction Theorem. 115-165
  

Last update Sat May 18 20:51:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page