Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids

DOI10.3103/S002713222202005XOpenAlexW4285103808MaRDI QIDQ2674673

F. D. Kholodilov, B. O. Konstantinovskiy

Publication date: 14 September 2022

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s002713222202005x

zbMATH Keywords

free semigroupLambek calculusfree monoidlanguage modelsLambek calculus models

Mathematics Subject Classification ID

Artificial intelligence (68Txx) General logic (03Bxx) Model theory (03Cxx)

Cites Work

• Unnamed Item
• L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
• The Mathematics of Sentence Structure
• Logics without the contraction rule
• Completeness Results for Lambek Syntactic Calculus

This page was built for publication: Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids