A minimal classical sequent calculus free of structural rules (Q636359): Difference between revisions

@@ Property / author @@
+Dominic J. D. Hughes
@@ Property / author: Dominic J. D. Hughes / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2594450757
@@ Property / OpenAlex ID: W2594450757 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/0506463
@@ Property / arXiv ID: math/0506463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4410005
@@ Property / cites work: Q4410005 / rank @@
+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 @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5843956
@@ Property / cites work: Q5843956 / rank @@
+Normal rank
@@ Property / cites work @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605873
@@ Property / cites work: Q5605873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708321
@@ Property / cites work: Q2708321 / rank @@
+Normal rank