Search for dissertations about: "intuitionistic logic"

Showing result 6 - 6 of 6 swedish dissertations containing the words intuitionistic logic.

  1. 6. On Simultaneous Rigid E-Unification

    University dissertation from Uppsala universitet

    Author : Margus Veanes; Andrei Voronkov; [1997]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Abstract : Automated theorem proving methods in classical logic with equality that are based on the Herbrand theorem, reduce to a problem called Simultaneous Rigid E-Unification, or SREU for short. Recent developments show that SREU has also close connections with intuitionistic logic with equality, second-order unification, some combinatorial problems and finite tree automata. READ MORE