Wagner de Campos Sanz

According to our database, Wagner de Campos Sanz authored at least 6 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2016

On Dummett's verificationist justification procedure.

Wagner de Campos Sanz, Hermógenes Oliveira

Synth., 2016

2015

Failure of Completeness in Proof-Theoretic Semantics.

Thomas Piecha, Wagner de Campos Sanz, Peter Schroeder-Heister

J. Philos. Log., 2015

2014

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

2009

Inversion by Definitional Reflection and the Admissibility of Logical Rules.

Wagner de Campos Sanz, Thomas Piecha

Rev. Symb. Log., 2009

2007

A Note on Gentzen's <i>LJ</i> and <i>NJ</i> Systems Isomorphism.

Wagner de Campos Sanz

Log. J. IGPL, 2007

2004

Relating Intuitionist Negation and Triviality.

Wagner de Campos Sanz

Log. J. IGPL, 2004