Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-1-4020-9084-4_10
+Normal rank
@@ Property / OpenAlex ID @@
+W140525514
@@ Property / OpenAlex ID: W140525514 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
+Normal rank
@@ Property / cites work @@
+The equivalence of two concepts of categorial grammar
+Normal rank
@@ Property / cites work @@
+Q3035262
@@ Property / cites work: Q3035262 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of weak implication
@@ Property / cites work: Completeness of weak implication / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
+Normal rank
@@ Property / cites work @@
+Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
+Normal rank
@@ Property / cites work @@
+Cut-rule axiomatization of the syntactic calculus \(NL_0\)
+Normal rank
@@ Property / cites work @@
+Cut-rule axiomatization of the syntactic calculus \(L_0\)
+Normal rank
@@ Property / cites work @@
+On reduction systems equivalent to the Lambek calculus with the empty string
+Normal rank
@@ Property / cites work @@
+On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3600569