On a partial syntactical criterion for the left distributivity and the idempotency
AbstractWe 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.
1995 ◽
Vol 06
(03)
◽
pp. 203-234
◽
Keyword(s):
Keyword(s):
1989 ◽
Vol 78
(1-2)
◽
pp. 45-53
◽
1984 ◽
Vol 52
(2-3)
◽
pp. 113-121
◽
1976 ◽
Vol 41
(1)
◽
pp. 188-198
◽
Keyword(s):
1996 ◽
pp. 43-52
1993 ◽
Vol 123
(6)
◽
pp. 1011-1016