Het algemeen opzet van dit project is de ontwikkeling van een methode die op een systematisch wijze toelaat om voor een gegeven logica een overeenkomstige prospectieve bewijsprocedure te ontwikkelen. Deze systematische methode moet zowel zorgen voor de eenvoudige formulering van een inferentiesysteem voor een gegeven logica L als voor de ontwikkeling van een bijpassende heuristiek. Bovendien moet dit ingebed worden in een metatheoretisch kader dat een rechtlijnige uitwerking van het correctheids- en volledigheidsbewijs van de prospectieve bewijsprocedure ten opzichte van de oorspronkelijke logica L mogelijk maakt.