We stand with Ukraine  

Wagner de Campos Sanz

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2016
On Dummett's verificationist justification procedure.
[BibTeX]
[DOI]
Wagner de Campos Sanz
,
Hermógenes Oliveira
Synth., 2016

2015
Failure of Completeness in Proof-Theoretic Semantics.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Wagner de Campos Sanz
,
Thomas Piecha
,
Peter Schroeder-Heister
Log. J. IGPL, 2014

2009
Inversion by Definitional Reflection and the Admissibility of Logical Rules.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Wagner de Campos Sanz
Log. J. IGPL, 2007

2004
Relating Intuitionist Negation and Triviality.
[BibTeX]
[DOI]
Wagner de Campos Sanz
Log. J. IGPL, 2004


  Loading...