Full Lambek Calculus in natural deduction (Q3406453): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1002/malq.200810042
@@ Property / DOI: 10.1002/malq.200810042 / rank @@
-Normal rank
@@ Property / DOI @@
+.1002/MALQ.200810042
@@ Property / DOI: 10.1002/MALQ.200810042 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Lambek Calculus in Natural Deduction
@@ Property / Recommended article: Lambek Calculus in Natural Deduction / rank @@
+Normal rank
+Similarity Score: 0.8923116Amount 0.8923116
Unit 1
-Amount
+.8923116
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Classical conservative extensions of Lambek calculus
+Normal rank
+Similarity Score: 0.81872725Amount 0.81872725
Unit 1
-Amount
+.81872725
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Natural deduction bottom up
@@ Property / Recommended article: Natural deduction bottom up / rank @@
+Normal rank
@@ Property / Recommended article: Natural deduction bottom up / qualifier @@
+Similarity Score: 0.8174784Amount 0.8174784
Unit 1
-Amount
+.8174784
 Unit
@@ Property / Recommended article: Natural deduction bottom up / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The Lambek calculus extended with intuitionistic propositional logic
+Normal rank
+Similarity Score: 0.8072413Amount 0.8072413
Unit 1
-Amount
+.8072413
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+An Alternative Natural Deduction for the Intuitionistic Propositional Logic
+Normal rank
+Similarity Score: 0.79660946Amount 0.79660946
Unit 1
-Amount
+.79660946
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Substructural Logics in Natural Deduction
+Normal rank
+Similarity Score: 0.7954137Amount 0.7954137
Unit 1
-Amount
+.7954137
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On Lambek’s Restriction in the Presence of Exponential Modalities
+Normal rank
+Similarity Score: 0.7949124Amount 0.7949124
Unit 1
-Amount
+.7949124
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3413927
@@ Property / Recommended article: Q3413927 / rank @@
+Normal rank
@@ Property / Recommended article: Q3413927 / qualifier @@
+Similarity Score: 0.7909268Amount 0.7909268
Unit 1
-Amount
+.7909268
 Unit
@@ Property / Recommended article: Q3413927 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Extensions of Lambek Calculi
@@ Property / Recommended article: Extensions of Lambek Calculi / rank @@
+Normal rank
@@ Property / Recommended article: Extensions of Lambek Calculi / qualifier @@
+Similarity Score: 0.7890971Amount 0.7890971
Unit 1
-Amount
+.7890971
 Unit
@@ Property / Recommended article: Extensions of Lambek Calculi / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS
+Normal rank
+Similarity Score: 0.78777766Amount 0.78777766
Unit 1
-Amount
+.78777766
 Unit
+Recommender Run: Recommender Run 2