Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, November 8
Author: Mossakowski, Till
Title: Generalised Substitution Systems


We present the notion of generalised substitution system as introduced by Tutu and Fiadeiro. Generalised substitution systems formalise the notion of logical system in an abstract way, like institutions do. However, generalised substitution systems add an operational aspect, which allows for the easy formalisation of the notions of query, solution and computed answer. There is also a variant of Herbrandís theorem, which shows the interplay between denotational and operational semantics of logic programming. All this is done in a logic-independent way.

Slides, Paper

Back to the Oberseminar web page