geboren te Broek in Waterland (2008)
Aline Honingh, Academisch Proefschrift, Aline Klazina Honingh, Prof. Dr. R. Bod, Prof. Dr. H. Barendregt
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Mohammad Ardeshir, M. Ardeshir, W. Ruitenburg, Basic Propositional Calculus, H. Barendregt, ...
Basic propositional logic was first introduced by Albert Visser in [6]. Basic logic is a proper subsystem of intuitionistic logic, and can be constructed from it by a weakening of modus ponens. This...