Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988): Difference between revisions

@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362908
@@ Property / cites work: Q4362908 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to a systematic theorem proving procedure in first-order logic
+Normal rank
@@ Property / cites work @@
+Categorical proof theory of classical propositional calculus
+Normal rank
@@ Property / cites work @@
+Q2708321
@@ Property / cites work: Q2708321 / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Classes: A Survey
@@ Property / cites work: Graph Classes: A Survey / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Complement reducible graphs
@@ Property / cites work: Complement reducible graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of the resolution method with the inverse method
+Normal rank
@@ Property / cites work @@
+Q3376920
@@ Property / cites work: Q3376920 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the functorial calculus
@@ Property / cites work: A generalization of the functorial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Order-enriched categorical models of the classical sequent calculus
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586462
@@ Property / cites work: Q5586462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5637011
@@ Property / cites work: Q5637011 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261088
@@ Property / cites work: Q4261088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222890
@@ Property / cites work: Q4222890 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence completions of categories
@@ Property / cites work: Coherence completions of categories / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs without syntax
@@ Property / cites work: Proofs without syntax / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for unit-free multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+Proof theory in the abstract
@@ Property / cites work: Proof theory in the abstract / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable fragment of predicate calculus
@@ Property / cites work: A decidable fragment of predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+From Proof Nets to the Free *-Autonomous Category
@@ Property / cites work: From Proof Nets to the Free *-Autonomous Category / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440824
@@ Property / cites work: Q4440824 / rank @@
+Normal rank
@@ Property / cites work @@
+Handsome proof-nets: Perfect matchings and cographs
+Normal rank
@@ Property / cites work @@
+Proof Nets for Classical Logic
@@ Property / cites work: Proof Nets for Classical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
+Normal rank
@@ Property / cites work @@
+Ring-theoretic properties of certain Hecke algebras
+Normal rank
@@ Property / cites work @@
+Hilbert's Twenty-Fourth Problem
@@ Property / cites work: Hilbert's Twenty-Fourth Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional                                                   Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192669
@@ Property / cites work: Q4192669 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular elliptic curves and Fermat's Last Theorem
@@ Property / cites work: Modular elliptic curves and Fermat's Last Theorem / rank @@
+Normal rank