Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B22
@@ Property / Mathematics Subject Classification ID: 03B22 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F03
@@ Property / Mathematics Subject Classification ID: 03F03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 03F05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6584574
@@ Property / zbMATH DE Number: 6584574 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural deduction
@@ Property / zbMATH Keywords: natural deduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Sheffer stroke
@@ Property / zbMATH Keywords: Sheffer stroke / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3104357504
@@ Property / OpenAlex ID: W3104357504 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05995
@@ Property / arXiv ID: 1504.05995 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction with general elimination rules
@@ Property / cites work: Natural deduction with general elimination rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142560
@@ Property / cites work: Q3142560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840168
@@ Property / cites work: Q4840168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / 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 @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541301
@@ Property / cites work: Q5541301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5554943
@@ Property / cites work: Q5554943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264064
@@ Property / cites work: Q4264064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / 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 @@
+Q3241190
@@ Property / cites work: Q3241190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:288247