Propositions in Prepositional Logic Provable Only by Indirect Proofs (Q4379628): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1002/malq.19980440105
@@ Property / DOI: 10.1002/malq.19980440105 / rank @@
-Normal rank
@@ Property / DOI @@
+.1002/MALQ.19980440105
@@ Property / DOI: 10.1002/MALQ.19980440105 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q3720598
@@ Property / Recommended article: Q3720598 / rank @@
+Normal rank
@@ Property / Recommended article: Q3720598 / qualifier @@
+Similarity Score: 0.8311025Amount 0.8311025
Unit 1
-Amount
+.8311025
 Unit
@@ Property / Recommended article: Q3720598 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Routes to triviality
@@ Property / Recommended article: Routes to triviality / rank @@
+Normal rank
@@ Property / Recommended article: Routes to triviality / qualifier @@
+Similarity Score: 0.77330685Amount 0.77330685
Unit 1
-Amount
+.77330685
 Unit
@@ Property / Recommended article: Routes to triviality / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3819063
@@ Property / Recommended article: Q3819063 / rank @@
+Normal rank
@@ Property / Recommended article: Q3819063 / qualifier @@
+Similarity Score: 0.7697329Amount 0.7697329
Unit 1
-Amount
+.7697329
 Unit
@@ Property / Recommended article: Q3819063 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Normalization and excluded middle. I
@@ Property / Recommended article: Normalization and excluded middle. I / rank @@
+Normal rank
+Similarity Score: 0.7680318Amount 0.7680318
Unit 1
-Amount
+.7680318
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The normalization theorem for extended natural deduction
+Normal rank
+Similarity Score: 0.7607995Amount 0.7607995
Unit 1
-Amount
+.7607995
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A normalization-procedure for the first order classical natural deduction with full logical symbols
+Normal rank
+Similarity Score: 0.7583345Amount 0.7583345
Unit 1
-Amount
+.7583345
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION
+Normal rank
+Similarity Score: 0.75289834Amount 0.75289834
Unit 1
-Amount
+.75289834
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4939407
@@ Property / Recommended article: Q4939407 / rank @@
+Normal rank
@@ Property / Recommended article: Q4939407 / qualifier @@
+Similarity Score: 0.75154847Amount 0.75154847
Unit 1
-Amount
+.75154847
 Unit
@@ Property / Recommended article: Q4939407 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Truth table logic, with a survey of embeddability results
+Normal rank
+Similarity Score: 0.7493683Amount 0.7493683
Unit 1
-Amount
+.7493683
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4424653
@@ Property / Recommended article: Q4424653 / rank @@
+Normal rank
@@ Property / Recommended article: Q4424653 / qualifier @@
+Similarity Score: 0.74620795Amount 0.74620795
Unit 1
-Amount
+.74620795
 Unit
@@ Property / Recommended article: Q4424653 / qualifier @@
+Recommender Run: Recommender Run 2