Multi-focused cut elimination (Q4637625): Difference between revisions

@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixed Points in Linear Logic
@@ Property / cites work: Least and Greatest Fixed Points in Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015210
@@ Property / cites work: Q5015210 / rank @@
+Normal rank
@@ Property / cites work @@
+Focused linear logic and the \(\lambda\)-calculus
@@ Property / cites work: Focused linear logic and the \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Focused Natural Deduction
@@ Property / cites work: Focused Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing Strategies in the Sequent Calculus of Synthetic Connectives
+Normal rank
@@ Property / cites work @@
+Q2915680
@@ Property / cites work: Q2915680 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical characterization of forward and backward chaining in the inverse method
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets, garbage, and computations
@@ Property / cites work: Proof nets, garbage, and computations / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized proof-nets and \(\lambda \mu\)-calculus
@@ Property / cites work: Polarized proof-nets and \(\lambda \mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Focalization
@@ Property / cites work: Structural Focalization / rank @@
+Normal rank