In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes 'the mathesis [...

A concise introduction to structural proof theory, a branch of logic studying the general structu...

A concise introduction to structural proof theory, a branch of logic studying the general structu...

This book continues from where the authors' previous book, Structural Proof Theory, ended. It pre...

Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philoso...

In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes 'the mathesis [...

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning...

Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard...

Presents a new way of applying the methods of proof theory to axiomatic theories and systems of p...