A weak form of interpolation in equational logic (Q3546111): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1007/s10469-008-0006-x
@@ Property / DOI: 10.1007/s10469-008-0006-x / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-008-0006-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1986941784
@@ Property / OpenAlex ID: W1986941784 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10469-008-0006-X
@@ Property / DOI: 10.1007/S10469-008-0006-X / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q3982061
@@ Property / Recommended article: Q3982061 / rank @@
+Normal rank
@@ Property / Recommended article: Q3982061 / qualifier @@
+Similarity Score: 0.9277921Amount 0.9277921
Unit 1
-Amount
+.9277921
 Unit
@@ Property / Recommended article: Q3982061 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On weak and strong interpolation in algebraic logics
+Normal rank
+Similarity Score: 0.9249675Amount 0.9249675
Unit 1
-Amount
+.9249675
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3001102
@@ Property / Recommended article: Q3001102 / rank @@
+Normal rank
@@ Property / Recommended article: Q3001102 / qualifier @@
+Similarity Score: 0.9224411Amount 0.9224411
Unit 1
-Amount
+.9224411
 Unit
@@ Property / Recommended article: Q3001102 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interpolation in weakly transitive modal logics
+Normal rank
+Similarity Score: 0.9182602Amount 0.9182602
Unit 1
-Amount
+.9182602
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interpolation in extensions of first-order logic
+Normal rank
+Similarity Score: 0.9056546Amount 0.9056546
Unit 1
-Amount
+.9056546
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interpolation in fragments of intuitionistic propositional logic
+Normal rank
+Similarity Score: 0.8993598Amount 0.8993598
Unit 1
-Amount
+.8993598
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interpolation in propositional Horn logic
+Normal rank
+Similarity Score: 0.8989692Amount 0.8989692
Unit 1
-Amount
+.8989692
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Weak interpolation in extensions of the logics S4 and K4
+Normal rank
+Similarity Score: 0.89563876Amount 0.89563876
Unit 1
-Amount
+.89563876
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interpolation theorems for intuitionistic predicate logic
+Normal rank
+Similarity Score: 0.8937193Amount 0.8937193
Unit 1
-Amount
+.8937193
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interpolation in fragments of classical linear logic
+Normal rank
+Similarity Score: 0.8934501Amount 0.8934501
Unit 1
-Amount
+.8934501
 Unit
+Recommender Run: Recommender Run 2