Peirce's Rule in a Full Natural Deduction System (Q5170286): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2056630269
@@ Property / OpenAlex ID: W2056630269 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic as Mathematical Science
@@ Property / cites work: Logic as Mathematical Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+On cut elimination in the presence of perice rule
@@ Property / cites work: On cut elimination in the presence of perice rule / rank @@
+Normal rank
@@ Property / cites work @@
+A new normalization strategy for the implicational fragment of classical propositional logic
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof theory of the intermediate logic MH
@@ Property / cites work: On the proof theory of the intermediate logic MH / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization and excluded middle. I
@@ Property / cites work: Normalization and excluded middle. I / rank @@
+Normal rank
@@ Property / cites work @@
+Peirce's rule in natural deduction.
@@ Property / cites work: Peirce's rule in natural deduction. / rank @@
+Normal rank