Project GHPT – Graphen und Hypergraphen in der Beweistheorie

Basic data

Acronym:
GHPT
Title:
Graphen und Hypergraphen in der Beweistheorie
Duration:
01/06/2019 to 31/05/2022
Abstract / short description:
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.
Keywords:
Graphen, Hypergraphen, Beweistheorie

Involved staff

Managers

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.