| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Towards a Combinatorial Proof Theory
Abstract : The main part of a classical combinatorial proof is a skew fi-bration, which precisely captures the behavior of weakening and contraction. Relaxing the presence of these two rules leads to certain substruc-tural 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.
Cited literature [30 references]
https://hal.inria.fr/hal-02390417
Contributor : Lutz Straßburger <>
Submitted on : Tuesday, December 3, 2019 - 9:44:20 AM
Last modification on : Friday, April 30, 2021 - 10:02:41 AM
Long-term archiving on: : Wednesday, March 4, 2020 - 2:17:50 PM
Contributor : Lutz Straßburger <>
Submitted on : Tuesday, December 3, 2019 - 9:44:20 AM
Last modification on : Friday, April 30, 2021 - 10:02:41 AM
Long-term archiving on: : Wednesday, March 4, 2020 - 2:17:50 PM
File
CPT.pdf
Files produced by the author(s)