A geometrical representation of the basic laws of categorial grammar (Q2363501): Difference between revisions

@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Classical conservative extensions of Lambek calculus
+Normal rank
@@ Property / cites work @@
+On Residuation
@@ Property / cites work: On Residuation / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative logic. I: The multiplicative fragment
+Normal rank
@@ Property / cites work @@
+Continuation semantics for the Lambek-Grishin calculus
+Normal rank
@@ Property / cites work @@
+Type logics and pregroups
@@ Property / cites work: Type logics and pregroups / rank @@
+Normal rank
@@ Property / cites work @@
+Nonassociative Lambek Calculus with Additives and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+A tale of four grammars
@@ Property / cites work: A tale of four grammars / 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 @@
+Q3612673
@@ Property / cites work: Q3612673 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and grammar
@@ Property / cites work: Logic and grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Q5083756
@@ Property / cites work: Q5083756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650584
@@ Property / cites work: Q4650584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5416219
@@ Property / cites work: Q5416219 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorial Type Logic
@@ Property / cites work: A Categorial Type Logic / rank @@
+Normal rank