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

DOI10.1007/s10958-013-1483-6zbMath1345.03023OpenAlexW2057652804MaRDI QIDQ376154

M. R. Pentus, A. E. 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

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

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

Cites Work

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