Wagner de Campos Sanz

Publication Activity (10 Years)

Years Active: 2004-2016
Publications (10 Years): 1

Top Topics

Operational Semantics

Derivation Rules

Top Venues

J. Philos. Log.

Publications

Wagner de Campos Sanz, Hermógenes Oliveira
On Dummett's verificationist justification procedure. Synth. 193 (8) (2016)
Thomas Piecha, Wagner de Campos Sanz, Peter Schroeder-Heister
Failure of Completeness in Proof-Theoretic Semantics. J. Philos. Log. 44 (3) (2015)
Wagner de Campos Sanz, Thomas Piecha, Peter Schroeder-Heister
Constructive semantics, admissibility of rules and the validity of Peirce's law. Log. J. IGPL 22 (2) (2014)
Wagner de Campos Sanz, Thomas Piecha
Inversion by Definitional Reflection and the Admissibility of Logical Rules. Rev. Symb. Log. 2 (3) (2009)
Wagner de Campos Sanz
Systems Isomorphism. Log. J. IGPL 15 (5-6) (2007)
Wagner de Campos Sanz
Relating Intuitionist Negation and Triviality. Log. J. IGPL 12 (6) (2004)