Multi-Sorted Residuation (Q5414962): 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-3-642-54789-8_8
+Normal rank
@@ Property / OpenAlex ID @@
+W193361031
@@ Property / OpenAlex ID: W193361031 / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices and ordered algebraic structures
@@ Property / cites work: Lattices and ordered algebraic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754605
@@ Property / cites work: Q3754605 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and FEP for logics of residuated algebras
+Normal rank
@@ Property / cites work @@
+Nonassociative Lambek Calculus with Additives and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Agreement and Cliticization in Italian: A Pregroup Analysis
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Classical non-associative Lambek calculus
@@ Property / cites work: Classical non-associative Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunction property and complexity of substructural logics
+Normal rank
@@ Property / cites work @@
+Residuation, structural rules and context freeness
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Relational semantics of the Lambek calculus extended with classical propositional logic
+Normal rank
@@ Property / cites work @@
+The Lambek calculus enriched with additional connectives
+Normal rank
@@ Property / cites work @@
+The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+On Canonical Embeddings of Residuated Groupoids
@@ Property / cites work: On Canonical Embeddings of Residuated Groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Powerset Residuated Algebras and Generalized Lambek Calculus
+Normal rank
@@ Property / cites work @@
+Distributive full Lambek calculus has the finite model property
+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 @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
+Normal rank
@@ Property / cites work @@
+Symmetric categorial grammar
@@ Property / cites work: Symmetric categorial grammar / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5414962