Symmetric categorial grammar (Q843772): 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/s10992-009-9118-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2077855244
@@ Property / OpenAlex ID: W2077855244 / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Types as graphs: Continuations in type logical grammar
+Normal rank
@@ Property / cites work @@
+Continuation semantics for the Lambek-Grishin calculus
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric generalized Galois logics
@@ Property / cites work: Symmetric generalized Galois logics / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative linear logic in linguistics
@@ Property / cites work: Non-commutative linear logic in linguistics / rank @@
+Normal rank
@@ Property / cites work @@
+Global index grammars and descriptive power
@@ Property / cites work: Global index grammars and descriptive power / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342439
@@ Property / cites work: Q4342439 / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Classical non-associative Lambek calculus
@@ Property / cites work: Classical non-associative Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of abstract categorial grammars: Representing context-free formalisms
+Normal rank
@@ Property / cites work @@
+Q3413927
@@ Property / cites work: Q3413927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753193
@@ Property / cites work: Q2753193 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics on display
@@ Property / cites work: Substructural logics on display / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Semantics for the Lambek-Grishin Calculus
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940719
@@ Property / cites work: Q4940719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3612673
@@ Property / cites work: Q3612673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844073
@@ Property / cites work: Q2844073 / rank @@
+Normal rank
@@ Property / cites work @@
+The Generative Capacity of the Lambek–Grishin Calculus: A New Lower Bound
+Normal rank
@@ Property / cites work @@
+Multimodal linguistic inference
@@ Property / cites work: Multimodal linguistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for the multimodal Lambek calculus
@@ Property / cites work: Proof nets for the multimodal Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The conjoinability relation in Lambek calculus and linear logic
+Normal rank
@@ Property / cites work @@
+A faithful representation of non-associative Lambek grammars in abstract categorial grammars
+Normal rank
@@ Property / cites work @@
+Principles and implementation of deductive parsing
+Normal rank
@@ Property / cites work @@
+Q3470458
@@ Property / cites work: Q3470458 / rank @@
+Normal rank
@@ Property / cites work @@
+Essays in logical semantics
@@ Property / cites work: Essays in logical semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank