A Tableau Method for the Lambek Calculus based on a Matrix Characterization (Q4924540): Difference between revisions

@@ Property / cites work @@
+A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+On Matrices with Connections
@@ Property / cites work: On Matrices with Connections / rank @@
+Normal rank
@@ Property / cites work @@
+On proof normalization in linear logic
@@ Property / cites work: On proof normalization in linear logic / 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 @@
+Q4246968
@@ Property / cites work: Q4246968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263017
@@ Property / cites work: Q4263017 / rank @@
+Normal rank
@@ Property / cites work @@
+T-string unification: Unifying prefixes in non-classical proof methods
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80855-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2043921164
@@ Property / OpenAlex ID: W2043921164 / rank @@
+Normal rank