Minimal complete propositional natural deduction systems (Q1633213): 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/s10992-017-9450-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2766159092
@@ Property / OpenAlex ID: W2766159092 / rank @@
+Normal rank
@@ 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