=Paper=
{{Paper
|id=Vol-1785/F6
|storemode=property
|title=Invited Talk: On Differences in Proofs Between Intuitionistic and Classical Logic
|pdfUrl=https://ceur-ws.org/Vol-1785/F6.pdf
|volume=Vol-1785
|dblpUrl=https://dblp.org/rec/conf/cikm/Schubert16
}}
==Invited Talk: On Differences in Proofs Between Intuitionistic and Classical Logic==
<pdf width="1500px">https://ceur-ws.org/Vol-1785/F6.pdf</pdf>
<pre>
Invited talk: On Dierences in Proofs Between
       Intuitionistic and Classical Logic

                              Aleksy Schubert
                Institute of Informatics, University of Warsaw
                  ul. S. Banacha 2, 02097 Warsaw, Poland
                               alx@mimuw.edu.pl



                                  Abstract
    The presentation will contrast the complexity results for proving asser-
    tions in classical and intuitionistic logic. The comparison will be built
    upon the known results for propositional logic and predicate one. The
    predicate case will be based upon the Mints hierarchy in intuitionis-
    tic logic which will be contrasted with its counterpart i.e. the prenex
    hierarchy in classical logic.
    The dierences in complexity will be illustrated with examples of par-
    ticular proving mechanisms that are responsible for the divergence,
    which should facilitate the understanding of where the mathematics is
    done constructively.

</pre>