Digital Library

From the Editorial Board

• Bayart, Arnould
  Correction de la logique modale du premier et du second ordre S5 (1958)
  Translation (en) by M.J. Creswell: The Soundness of First and Second Order S5 Modal Logic
• Bayart, Arnould
  Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modal du premier ordre S5 (1959)
  Translation (en) by M.J. Creswell: Quasi-completeness of Second Order Modal Logic S5 and Completeness of First Order S5
• Coret, Jean
  On the Stratified Instances of the Replacement Scheme (1970)
  Translation (e) by Thomas Forster.
• Crabbé, Marcel
  Non-normalization de ZF (Counterexample to normalization for ZF) (1974)
  See Göran Sundholm, "Review of Michael Dummett, Elements of Intuitionism", p. 93.
• Creswell, M.J.
  Arnould Bayart's Modal Completeness Theorems (2011)
  Includes Bayart (1958) and Bayart (1959).
• Sheridan, Flash
  A Variant of Church's Set Theory with a Universal Set in which the Singleton Function is a Set (2013)

PhD theses

• Hinnion, Roland
  On Quine's Set Theory
  ULB, 1974. Translation by Thomas Forster.
• Libert, Thierry
  More Studies on the Axiom of Comprehension
  ULB, 2004.
• Lowenthal, Francis Didier
  The Minal Pair Problem for Higher Type Objects
  MIT, 1974.
• Pétry, André
  Sur les cardinaux dans les New Foundations de Quine
  ULg, 1976.
• Sart, Frédéric
  Elements de logique aléthico-deóntique
  Nantes, 2000.