@conference {provijn2002er,
	title = {Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.},
	booktitle = {Handelingen van de 24ste {N}ederlands-{V}laamse Filosofiedag: Filosofie en Empirie},
	year = {2002},
	publisher = {Universiteit Amsterdam},
	organization = {Universiteit Amsterdam},
	abstract = {<p>In dit artikel wens ik in te gaan tegen het diepe onderscheid dat Hintikka voorstelt tussen de definitory -en strategic rules van een bewijstheorie. Ik doe dit door een integratie voor te stellen tussen de inferentieregels en de heuristiek van het formeel systeem <strong>Pc</strong> uit dat toelaat doelgerichte en efficifiente bewijzen te maken.</p>},
	author = {Provijn, Dagmar}
}
