Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653): 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.1007/978-3-319-06080-4_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1033934183
@@ Property / OpenAlex ID: W1033934183 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5259653