Peter Schroeder-Heister
Atomic systems in proof-theoretic semantics
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer
2015
Philosophia Scientiae 19/1
2014
Philosophia Scientiae 18/3
The categorical and the hypothetical
2012
Synthese 187/3
2011
Deutsches Jahrbuch Philosophie 2
14th Congress of logic, methodology and philosophy of science
2010
Philosophia Scientiae 14/1
Lorenzen's operative justification of intuitionistic logic
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
2006
Synthese 148/3
Validity concepts in proof-theoretic semantics
2006
Synthese 148/3
Warning: mysqli_connect(): (HY000/1203): User djny_rootdba already has more than 'max_user_connections' active connections in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/init/DBconnect.php on line 15
Cannot connect to DataBase