UNIFICATION IN INTERMEDIATE LOGICS (Q3450801): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1017/jsl.2015.5
@@ Property / DOI: 10.1017/jsl.2015.5 / rank @@
-Normal rank
@@ Property / DOI @@
+.1017/JSL.2015.5
@@ Property / DOI: 10.1017/JSL.2015.5 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q3518429
@@ Property / Recommended article: Q3518429 / rank @@
+Normal rank
@@ Property / Recommended article: Q3518429 / qualifier @@
+Similarity Score: 0.80654234Amount 0.80654234
Unit 1
-Amount
+.80654234
 Unit
@@ Property / Recommended article: Q3518429 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
+Normal rank
+Similarity Score: 0.7726341Amount 0.7726341
Unit 1
-Amount
+.7726341
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Writing out unifiers for formulas with coefficients in intuitionistic logic
+Normal rank
+Similarity Score: 0.761008Amount 0.761008
Unit 1
-Amount
+.761008
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A syntactic approach to unification in transitive reflexive modal logics
+Normal rank
+Similarity Score: 0.7422869Amount 0.7422869
Unit 1
-Amount
+.7422869
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A note on the existence property for intuitionistic logic with function symbols
+Normal rank
+Similarity Score: 0.74002814Amount 0.74002814
Unit 1
-Amount
+.74002814
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Intuitionistic completeness of first-order logic
+Normal rank
+Similarity Score: 0.7377564Amount 0.7377564
Unit 1
-Amount
+.7377564
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3140630
@@ Property / Recommended article: Q3140630 / rank @@
+Normal rank
@@ Property / Recommended article: Q3140630 / qualifier @@
+Similarity Score: 0.73051023Amount 0.73051023
Unit 1
-Amount
+.73051023
 Unit
@@ Property / Recommended article: Q3140630 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2824401
@@ Property / Recommended article: Q2824401 / rank @@
+Normal rank
@@ Property / Recommended article: Q2824401 / qualifier @@
+Similarity Score: 0.73018914Amount 0.73018914
Unit 1
-Amount
+.73018914
 Unit
@@ Property / Recommended article: Q2824401 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Uniform interpolation and propositional quantifiers in modal logics
+Normal rank
+Similarity Score: 0.72968405Amount 0.72968405
Unit 1
-Amount
+.72968405
 Unit
+Recommender Run: Recommender Run 2