Toelaatbaarheid in Intuïtionistische Logica

Abstract

In deze scriptie zal ik uitleggen waarom en bewijzen dat de Wro´nski-regels een ba- sis voor toelaatbaarheid vormen in het implicatie-negatie fragment van intïtionistische propositionele logica.