
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
