The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

Record: oai:ARNO:262023

1 
AuthorJ.F.A.K. van Benthem
TitleEen Postzegel vol Logica
FacultyFaculty of Science
Institute/dept.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
Keywordslogica, intuïtionisme, bewijs, spel
SeriesTechnical Notes / ILLC ; X-2008-1
AbstractDe nieuwe Brouwer Postzegel bevat een ontkenning van het Uitgesloten Derde. Wat wordt hiermee bedoeld, en wat zegt de 'intuïtionistische logica' nu eigenlijk positief? We geven een schets voor een breed publiek van de subtiliteiten van het constructief wiskundig bewijzen, en we laten zien hoe het Uitgesloten Derde verrassende nieuwe interpretaties heeft gekregen in moderne logica's van argumentatie, spel, en in feite van interactie in het algemeen. Overigens: ons betoog rechtvaardigt een serie van minstens drie postzegels! Dit stukje zal verschijnen in 'De Gids', voorjaar 2008.
Document typePreprint
Download paper
Document finderUvA-Linker