GHPT

Graphen und Hypergraphen in der Beweistheorie

01.06.2019 bis 31.05.2022

The project has the overall aim of demonstrating for the usefulness of graphs and their variants for the purpose of rendering classes of logical diagrams in a uniform and mathematically rigorous manner. A particular focus is to describe suitable renderings of structures in proof theory, structures of derivations and the structure of sequents. The leitmotif is to both enrich philosophical discussions of logical diagrams with an exact underpinning firmly rooted in graph theory as well as to scrutinize the philosophical relevance of contemporary logical systems that make eager use of graphs.