Minimal complete propositional natural deduction systems (Q1633213): Difference between revisions

@@ Property / cites work @@
+NOR logic: A system of natural deduction
@@ Property / cites work: NOR logic: A system of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+The Stroke Function in Natural Deduction
@@ Property / cites work: The Stroke Function in Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799909
@@ Property / cites work: Q5799909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885746
@@ Property / cites work: Q3885746 / rank @@
+Normal rank