The atomic theory of left division of two-sided ideals of semirings with unit (Q376154): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Y60
@@ Property / Mathematics Subject Classification ID: 16Y60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6222135
@@ Property / zbMATH DE Number: 6222135 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidability
@@ Property / zbMATH Keywords: decidability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Lambek calculus
@@ Property / zbMATH Keywords: Lambek calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+two-sided ideals of semirings
@@ Property / zbMATH Keywords: two-sided ideals of semirings / rank @@
+Normal rank
@@ 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/s10958-013-1483-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2057652804
@@ Property / OpenAlex ID: W2057652804 / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Completeness Results for Lambek Syntactic Calculus
+Normal rank
@@ Property / cites work @@
+Q4463937
@@ Property / cites work: Q4463937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+The atomic theory of division of semiring ideals
@@ Property / cites work: The atomic theory of division of semiring ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Recognition of derivability for the Lambek calculus with one division
+Normal rank
@@ Property / cites work @@
+An application of proof-nets to the study of fragments of the Lambek calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:376154