Canonical rules (Q3655251): Difference between revisions

← Older edit

@@ Property / DOI @@
-.2178/jsl/1254748686
@@ Property / DOI: 10.2178/jsl/1254748686 / rank @@
-Normal rank
@@ Property / DOI @@
+.2178/JSL/1254748686
@@ Property / DOI: 10.2178/JSL/1254748686 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Admissible bases via stable canonical rules
+Normal rank
+Similarity Score: 0.8423457Amount 0.8423457
Unit 1
-Amount
+.8423457
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
+Normal rank
+Similarity Score: 0.80270815Amount 0.80270815
Unit 1
-Amount
+.80270815
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC
+Normal rank
+Similarity Score: 0.79410726Amount 0.79410726
Unit 1
-Amount
+.79410726
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Complexity of admissible rules
@@ Property / Recommended article: Complexity of admissible rules / rank @@
+Normal rank
@@ Property / Recommended article: Complexity of admissible rules / qualifier @@
+Similarity Score: 0.7925587Amount 0.7925587
Unit 1
-Amount
+.7925587
 Unit
@@ Property / Recommended article: Complexity of admissible rules / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Independent Bases of Admissible Rules
@@ Property / Recommended article: Independent Bases of Admissible Rules / rank @@
+Normal rank
+Similarity Score: 0.7878133Amount 0.7878133
Unit 1
-Amount
+.7878133
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
+Normal rank
+Similarity Score: 0.7864104Amount 0.7864104
Unit 1
-Amount
+.7864104
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On rules
@@ Property / Recommended article: On rules / rank @@
+Normal rank
@@ Property / Recommended article: On rules / qualifier @@
+Similarity Score: 0.7861688Amount 0.7861688
Unit 1
-Amount
+.7861688
 Unit
@@ Property / Recommended article: On rules / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Admissible Rules of Lukasiewicz Logic
@@ Property / Recommended article: Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
+Similarity Score: 0.7854291Amount 0.7854291
Unit 1
-Amount
+.7854291
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2746913
@@ Property / Recommended article: Q2746913 / rank @@
+Normal rank
@@ Property / Recommended article: Q2746913 / qualifier @@
+Similarity Score: 0.78473103Amount 0.78473103
Unit 1
-Amount
+.78473103
 Unit
@@ Property / Recommended article: Q2746913 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Admissibility of logical inference rules
@@ Property / Recommended article: Admissibility of logical inference rules / rank @@
+Normal rank
+Similarity Score: 0.784639Amount 0.784639
Unit 1
-Amount
+.784639
 Unit
+Recommender Run: Recommender Run 2