Towards a combinatorial proof theory

DOI10.1007/978-3-030-29026-9_15MaRDI QIDQ2180521zbMATH OpenOpenAlexFDO

Authors Benjamin Ralph, Lutz Straßburger

Publication date 14 May 2020

Full work available at URL https://hal.inria.fr/hal-02390417/file/CPT.pdf

zbMATH Keywords

proof theorycographscombinatorial proofsfibrationsdeep inference

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• On combinatorial proofs for modal logic
• A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
• From syntactic proofs to combinatorial proofs
• Proofs without syntax
• scientific article; zbMATH DE number 7204450

Cited in

(13)

• Combinatorial versus decision-theoretic components of impossibility theorems
• scientific article; zbMATH DE number 2211926 (Why is no real title available?)
• Exponentially handsome proof nets and their normalization
• Recursive proof composition from accumulation schemes
• A proof of the compositional Delta conjecture
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• scientific article; zbMATH DE number 7056222 (Why is no real title available?)
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
• Representing formulas of propositional logic by cographs, permutations and tables
• scientific article; zbMATH DE number 66612 (Why is no real title available?)
• A combinatorial version of the Svenonius theorem on definability
• A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
• On combinatorial proofs for modal logic

This page was built for publication: Towards a combinatorial proof theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180521)