Sufficient conditions for cut elimination with complexity analysis (Q2461191): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2007.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2087025946
@@ Property / OpenAlex ID: W2087025946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539639
@@ Property / cites work: Q4539639 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Cut normal forms and proof complexity
@@ Property / cites work: Cut normal forms and proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination and redundancy-elimination by resolution
+Normal rank
@@ Property / cites work @@
+Q4436026
@@ Property / cites work: Q4436026 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Duplication of directed graphs and exponential blow up of proofs
+Normal rank
@@ Property / cites work @@
+Towards a semantic characterization of cut-elimination
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The role of quantifier alternations in cut elimination
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783301
@@ Property / cites work: Q4783301 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for cut elimination in intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
+Normal rank
@@ Property / cites work @@
+Q4412848
@@ Property / cites work: Q4412848 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed systems of sequents and cut-elimination
@@ Property / cites work: Indexed systems of sequents and cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866101
@@ Property / cites work: Q3866101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+Q5605873
@@ Property / cites work: Q5605873 / rank @@
+Normal rank
@@ Property / cites work @@
+Which structural rules admit cut elimination? An algebraic criterion
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+The unprovability of small inconsistency. A study of local and global interpretability
+Normal rank
@@ Property / cites work @@
+Cut elimination and automatic proof procedures
@@ Property / cites work: Cut elimination and automatic proof procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Depth of proofs, depth of cut-formulas and complexity of cut formulas
+Normal rank