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

DOI10.1007/S10958-013-1483-6zbMATH Open1345.03023OpenAlexW2057652804MaRDI QIDQ376154FDOQ376154

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

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 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)

Cites Work

• Title not available (Why is that?)
• The Mathematics of Sentence Structure
• Language in action. Categories, lambdas and dynamic logic
• Recognition of derivability for the Lambek calculus with one division
• Completeness Results for Lambek Syntactic Calculus
• Title not available (Why is that?)
• An application of proof-nets to the study of fragments of the Lambek calculus
• Cut elimination and strong separation for substructural logics: an algebraic approach
• The atomic theory of division of semiring ideals

Cited In (4)

• The atomic theory of division of semiring ideals
• Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening
• Complexity of 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)