Wagner Sanz

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 1

Top Topics

Propositional Logic

Top Venues

Publications

Wagner Sanz
Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic. FLAP 9 (1) (2022)
Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Stud Logica 96 (1) (2010)
Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira
Peirce's Rule in a Full Natural Deduction System. LSFA (2009)