Electronic Publications and Digital Library

puce

Bayart Arnould
Correction de la logique modale du premier et du second ordre S5
Translation by M.J. Cresswell: The Soundness of First and Second Order S5 Modal Logic

   
puce

Bayart Arnould
Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5
Translation by M.J. Cresswell: Quasi-Completeness of Second-Order Modal Logic S5 and Completeness of First-Order S5

   
puce

Coret Jean – paper translated by Thomas Forster
On the Stratified Instances of the Replacement Scheme

   
puce

Crabbé Marcel
Non-normalisation de ZF (Counterexample to normalisation for  ZF),  see Göran Sundholm: “Michael Dummett, Elements of Intuitionism”, page 93

   
puce

Cresswell M. J.
Arnould Bayart's Modal Completeness Theorems

   
puce

Sheridan Flash
A Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set

   

Ph. Ds

 
puce

Hinnion Roland – translated by Thomas Forster
On Quine's Set Theory
ULB, 1974

   
puce

Libert Thierry
More Studies on the Axiom of Comprehension
ULB, 2004

   

Lowenthal Francis Didier
The Minimal 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
Éléments de logique aléthico-déontique
Nantes, 2000

   

CNRL/NCNL Prize Winning Master Dissertations

puce

Brouette Quentin
Groupes définissables dans les structures o-minimales et groupes de Lie

   
puce

De Vuyst Jonas
On Indexicals and Contexts. An Inquiry into Modal Logic and Artificial Agents

   
puce

Van der Meeren Jeroen
Axiomatische Benaderingen van Niet-Standaard Analyse

   

 

February 15, 2014