Toelaatbaarheid in Intuïtionistische Logica
Files
Publication date
Authors
DOI
Document Type
Bachelor Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
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.
Keywords
logica, impliciatie-negatie fragment, toelaatbaarheid, intuïtionistische