Relating Intuitionist Negation and Triviality. - Wagner de Campos Sanz (Log. J. IGPL, 2004)

A Note on Gentzen's LJ and NJ Systems Isomorphism. - Wagner de Campos Sanz (Log. J. IGPL, 2007)

Inversion by Definitional Reflection and the Admissibility of Logical Rules. - Wagner de Campos Sanz; Thomas Piecha (Rev. Symb. Log., 2009)

Constructive semantics, admissibility of rules and the validity of Peirce's law. - Wagner de Campos Sanz; Thomas Piecha; Peter Schroeder-Heister (Log. J. IGPL, 2014)

Failure of Completeness in Proof-Theoretic Semantics. - Thomas Piecha; Wagner de Campos Sanz; Peter Schroeder-Heister (J. Philos. Log., 2015)

On Dummett's verificationist justification procedure. - Wagner de Campos Sanz; Hermógenes Oliveira (Synth., 2016)