Computational Complexity of Deciding Provability in Linear Logic and its Fragments

Florian Chudigiewitsch

Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction. With this, ato…