Wagner Sanz

According to our database, Wagner Sanz authored at least 4 papers between 2009 and 2025.

Collaborative distances:

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

2025

Euclid Machines.

Wagner Sanz, Petrucio Viana

Stud Logica, April, 2025

2022

Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic.

Wagner Sanz

FLAP, 2022

2010

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.

Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz

Stud Logica, 2010

2009

Peirce's Rule in a Full Natural Deduction System.

Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009