Towards Hilbert's 24th Problem: Combinatorial Proof Invariants

Recommendations

Towards a combinatorial proof theory
Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility
On a generalization of Hilbert's 21st problem
scientific article; zbMATH DE number 7307076
Combinatorial Invariance Conjecture for $\widetilde {A}_2$
A combinatorial proof of an infinite version of the Hales-Jewett theorem
Combinatorial unprovability proofs and their model-theoretic counterparts
A combinatorial version of the Svenonius theorem on definability
A Combinatorial Generalization of a Putnam Problem
The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Cites work

A decidable fragment of predicate calculus
A game semantics for linear logic
A generalization of the functorial calculus
A new constructive logic: classic logic
A new deconstructive logic: linear logic
A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
An approach to a systematic theorem proving procedure in first-order logic
Categorical proof theory of classical propositional calculus
Coherence completions of categories
Coherence in closed categories
Complement reducible graphs
Computer Science Logic
From Proof Nets to the Free *-Autonomous Category
Games and full completeness for multiplicative linear logic
Graph Classes: A Survey
Handsome proof-nets: Perfect matchings and cographs
Hilbert's Twenty-Fourth Problem
scientific article; zbMATH DE number 4099289 (Why is no real title available?)
scientific article; zbMATH DE number 4103051 (Why is no real title available?)
scientific article; zbMATH DE number 3631581 (Why is no real title available?)
scientific article; zbMATH DE number 1231571 (Why is no real title available?)
scientific article; zbMATH DE number 1330445 (Why is no real title available?)
scientific article; zbMATH DE number 1086658 (Why is no real title available?)
scientific article; zbMATH DE number 2020175 (Why is no real title available?)
scientific article; zbMATH DE number 949290 (Why is no real title available?)
scientific article; zbMATH DE number 3305157 (Why is no real title available?)
scientific article; zbMATH DE number 3333259 (Why is no real title available?)
scientific article; zbMATH DE number 3363718 (Why is no real title available?)
Linear logic
Modular elliptic curves and Fermat's Last Theorem
New foundations for the geometry of interaction
Order-enriched categorical models of the classical sequent calculus
Proof Nets for Classical Logic
Proof nets for unit-free multiplicative-additive linear logic
Proof theory in the abstract
Proof-theoretical coherence
Proofs without syntax
Ring-theoretic properties of certain Hecke algebras
Strong normalisation of cut-elimination in classical logic
Synthesis of the resolution method with the inverse method
The Complexity of Propositional Proofs
The relative efficiency of propositional proof systems
The structure of multiplicatives
Theorem Proving via General Matings
Traced monoidal categories
Typed Lambda Calculi and Applications

Cited in

(11)

Proof nets for classical logic
A semiclassical heat kernel proof of the Poincaré-Hopf theorem
scientific article; zbMATH DE number 7204450 (Why is no real title available?)
The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
Discussing Hilbert's 24th problem
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
Combinatorial flows as bicolored atomic flows
Exponentially handsome proof nets and their normalization
Logic programming with multiplicative structures
Sequent systems on undirected graphs
A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs

This page was built for publication: Towards Hilbert's 24th Problem: Combinatorial Proof Invariants

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