Heinrich Wansing
Remarks on the logic of imagination
2017
Synthese 194/8
On the methodology of paraconsistent logic
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht : Springer
Negation in der konstruktiven Logik
2011
Deutsches Jahrbuch Philosophie 2
2011
in: Philosophie, Stuttgart : Metzler
From logic to mathematical philosophy
2009
in: Towards mathematical philosophy, Dordrecht : Springer
Logical connectives for constructive modal logic
2006
Synthese 150/3