The atomic theory of division of semiring ideals

DOI10.1007/S10958-008-0056-6MaRDI QIDQ950843zbMATH OpenOpenAlexFDO

Authors A. E. Pentus, Mati 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

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

Recommendations

• The atomic theory of division and intersection of semiring ideals
• The atomic theory of multiplication and division of semiring ideals
• The atomic theory of left division of two-sided ideals of semirings with unit
• On partitioning ideals of semirings.
• Ideal theory in commutative semirings.

Cites work

• scientific article; zbMATH DE number 2070201 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Compatibility of a Categorial Grammar With an Associated Category System
• Language in action. Categories, lambdas and dynamic logic
• The Mathematics of Sentence Structure

Cited in

(6)

• scientific article; zbMATH DE number 1567954 (Why is no real title available?)
• The atomic theory of division and intersection of semiring ideals
• The atomic theory of multiplication and division of semiring ideals
• On translating Lambek grammars with one division into context-free grammars
• The atomic theory of left division of two-sided ideals of semirings with unit
• scientific article; zbMATH DE number 4113295 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q950843)