Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653): Difference between revisions

@@ Property / cites work @@
+A remark on Gentzen's calculus of sequents
@@ Property / cites work: A remark on Gentzen's calculus of sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715524
@@ Property / cites work: Q2715524 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for dual-intuitionistic logic
@@ Property / cites work: Natural deduction for dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904071
@@ Property / cites work: Q2904071 / rank @@
+Normal rank