The atomic theory of left division of two-sided ideals of semirings with unit

DOI10.1007/S10958-013-1483-6MaRDI QIDQ376154zbMATH OpenOpenAlexFDO

Authors A. E. Pentus, Mati Pentus

Publication date 4 November 2013

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

Full work available at URL https://doi.org/10.1007/s10958-013-1483-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 of semiring ideals
• The atomic theory of division and intersection of semiring ideals
• The atomic theory of multiplication and division of semiring ideals
• On partitioning ideals of semirings.
• scientific article; zbMATH DE number 66767

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?)
• An application of proof-nets to the study of fragments of the Lambek calculus
• Completeness Results for Lambek Syntactic Calculus
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Language in action. Categories, lambdas and dynamic logic
• Recognition of derivability for the Lambek calculus with one division
• The Mathematics of Sentence Structure
• The atomic theory of division of semiring ideals

Cited in

(6)

• The atomic theory of division and intersection of semiring ideals
• The atomic theory of multiplication and division of semiring ideals
• Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening
• The atomic theory of division of semiring ideals
• Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening
• The monotone Lambek calculus is NP-complete

This page was built for publication: The atomic theory of left division of two-sided ideals of semirings with unit

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