The atomic theory of division of semiring ideals

DOI10.1007/S10958-008-0056-6zbMath1154.03006OpenAlexW2022771803MaRDI QIDQ950843

M. R. Pentus, A. E. Pentus

Publication date: 28 October 2008

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-008-0056-6

zbMATH Keywords

decidabilityLambek calculustwo-sided ideals of semirings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Semirings (16Y60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

The atomic theory of left division of two-sided ideals of semirings with unit ⋮ The atomic theory of multiplication and division of semiring ideals ⋮ On translating Lambek grammars with one division into context-free grammars

Cites Work

• Unnamed Item
• Unnamed Item
• Language in action. Categories, lambdas and dynamic logic
• The Mathematics of Sentence Structure
• Compatibility of a Categorial Grammar With an Associated Category System

This page was built for publication: The atomic theory of division of semiring ideals