Q4877107 (Q4877107): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q3452681
@@ Property / Recommended article: Q3452681 / rank @@
+Normal rank
@@ Property / Recommended article: Q3452681 / qualifier @@
+Similarity Score: 0.87104934Amount 0.87104934
Unit 1
-Amount
+.87104934
 Unit
@@ Property / Recommended article: Q3452681 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4499084
@@ Property / Recommended article: Q4499084 / rank @@
+Normal rank
@@ Property / Recommended article: Q4499084 / qualifier @@
+Similarity Score: 0.8436148Amount 0.8436148
Unit 1
-Amount
+.8436148
 Unit
@@ Property / Recommended article: Q4499084 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Natural deduction with general elimination rules
+Normal rank
+Similarity Score: 0.82880056Amount 0.82880056
Unit 1
-Amount
+.82880056
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Translations from natural deduction to sequent calculus
+Normal rank
+Similarity Score: 0.8269764Amount 0.8269764
Unit 1
-Amount
+.8269764
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
+Normal rank
+Similarity Score: 0.82450426Amount 0.82450426
Unit 1
-Amount
+.82450426
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Ultimate Normal Forms for Parallelized Natural Deductions
+Normal rank
+Similarity Score: 0.82402986Amount 0.82402986
Unit 1
-Amount
+.82402986
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Sequent calculus in natural deduction style
+Normal rank
+Similarity Score: 0.82296425Amount 0.82296425
Unit 1
-Amount
+.82296425
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On sequence-conclusion natural deduction systems
+Normal rank
+Similarity Score: 0.8215741Amount 0.8215741
Unit 1
-Amount
+.8215741
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
+Normal rank
+Similarity Score: 0.81883126Amount 0.81883126
Unit 1
-Amount
+.81883126
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The normalization theorem for extended natural deduction
+Normal rank
+Similarity Score: 0.8181455Amount 0.8181455
Unit 1
-Amount
+.8181455
 Unit
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:4877107