The main part of a classical combinatorial proof is a skew fibration, which precisely captures the behavior of weakening and contraction. Relaxing the presence of these two rules leads to certain substructural logics and substructural proof theory. In this paper we investigate what happens if we replace the skew fibration by other kinds of graph homomorphism. This leads us to new logics and proof systems that we call combinatorial.
CITATION STYLE
Ralph, B., & Straßburger, L. (2019). Towards a Combinatorial Proof Theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11714 LNAI, pp. 259–276). Springer. https://doi.org/10.1007/978-3-030-29026-9_15
Mendeley helps you to discover research relevant for your work.