Göran Sundholm
Artikeln
X"Inference versus consequence" revisited
2012
Synthese 187/3
Semantic values for natural deduction derivations
2006
Synthese 148/3
The general form of the operation in Wittgenstein's Tractatus
1992
Grazer Philosophische Studien 42
Constructive generalized quantifiers
1989
Synthese 79/1