Classical proof forestry (Q636369): Difference between revisions

@@ Property / cites work @@
+Sequentiality vs. concurrency in games and logic
@@ Property / cites work: Sequentiality vs. concurrency in games and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical proof theory of classical propositional calculus
+Normal rank
@@ Property / cites work @@
+Locality for classical logic
@@ Property / cites work: Locality for classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Identity of Proofs Based on Normalization and Generality
+Normal rank
@@ Property / cites work @@
+Order-enriched categorical models of the classical sequent calculus
+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 @@
+Normalisation Control in Deep Inference via Atomic Flows
+Normal rank
@@ Property / cites work @@
+Proof Transformations and Structural Invariance
@@ Property / cites work: Proof Transformations and Structural Invariance / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs without syntax
@@ Property / cites work: Proofs without syntax / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Identity for Classical Logic: Generalizing to Normality
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Nets for Herbrand’s Theorem
@@ Property / cites work: Proof Nets for Herbrand’s Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A compact representation of proofs
@@ Property / cites work: A compact representation of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Nets for Classical Logic
@@ Property / cites work: Proof Nets for Classical Logic / rank @@
+Normal rank