On a partial syntactical criterion for the left distributivity and the idempotency

Mathematica Slovaca

Přemysl Jedlička¹ 

关键词: left distributivity;    idempotency;    word problem;   

DOI  :  10.2478/s12175-010-0007-9

学科分类：数学（综合）

来源: Slovenska Akademia Vied * Matematicky Ustav / Slovak Academy of Sciences, Mathematical Institute

【 摘 要 】

We study here so called cuts of terms and their classes modulo the identities of the left distributivity and the idempotency. We give an inductive definition of such classes and this gives us a criterion that decides in some cases whether two terms are equivalent modulo both identities.

【 授权许可】

Unknown