Notre Dame Journal of Formal Logic, Volume 42

Volume 42, Number 1 , 2001

• Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi: Sequent Calculi for Visser's Propositional Logics. 1-22 BibTeX
• Tapani Hyttinen, Matti Pauna: On Non-wellfounded Sets as Fixed Points of Substitutions. 23-40 BibTeX
• Dorella Bellè, Franco Parlamento: The Decidability of the Class and the Axiom of Foundation. 41-53 BibTeX
• Osamu Morikawa: Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems. 55-64 BibTeX

Volume 42, Number 2, 2001

• Lorenzo Sacchetti: The Fixed Point Property in Modal Logic. 65-86 BibTeX
• Athanassios Tzouvaras: Periodicity of Negation. 87-99 BibTeX
• M. Bekkali: Pseudo Treealgebras. 101-108 BibTeX
• Antonella Mancini, Domenico Zambella: A Note on Recursive Models of Set Theories. 109-115 BibTeX
• Toshio Suzuki: Forcing Complexity: Minimum Sizes of Forcing Conditions. 117-120 BibTeX
• Kees Doets: Uniform Short Proofs for Classical Theorems. 121-127 BibTeX

Volume 42, Number 3, 2001

• John T. Baldwin, Saharon Shelah: Model Companions of for Stable T. 129-142 BibTeX
• Takeshi Yamazaki: Reverse Mathematics and Completeness Theorems for Intuitionistic Logic. 143-148 BibTeX
• Mark F. Sharlow: Broadening the Iterative Conception of Set. 149-170 BibTeX

Volume 42, Number 4, 2001

• Ahti-Veikko Pietarinen: Propositional Logic of Imperfect Information: Foundations and Applications. 193-210 BibTeX
• Olga Ambas: Anshakov-Rychkov Algebras. 211-224 BibTeX
• Sergio A. Celani, Ramon Jansana: A Closer Look at Some Subintuitionistic Logics. 225-255 BibTeX