Number of the records: 1  

Word Problem for Knotted Residuated Lattices

  1. 1.
    0429808 - ÚI 2015 RIV NL eng J - Journal Article
    Horčík, Rostislav
    Word Problem for Knotted Residuated Lattices.
    Journal of Pure and Applied Algebra. Roč. 219, č. 5 (2015), s. 1548-1563. ISSN 0022-4049. E-ISSN 1873-1376
    R&D Projects: GA ČR GAP202/11/1632
    Institutional support: RVO:67985807
    Keywords : residuated lattice * knotted rule * word problem * residuated frame * semi-Thue system * square-free word
    Subject RIV: BA - General Mathematics
    Impact factor: 0.669, year: 2015

    In this paper we prove that almost all varieties of residuated lattices axiomatized by identities corresponding to the knotted rules have undecidable word problem. Further we show that in many cases the results remain true if we replace residuated lattices by distributive residuated lattices.
    Permanent Link:

    0429808.pdf0741.8 KBAuthor´s preprintrequire
Number of the records: 1