Cut elimination inside a deep inference system for classical predicate logic (Q817702): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2008876986
@@ Property / OpenAlex ID: W2008876986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3375282
@@ Property / cites work: Q3375282 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+On the limit products of a family of matrices
@@ Property / cites work: On the limit products of a family of matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783301
@@ Property / cites work: Q4783301 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:817702