Počet záznamů: 1  

Word Problem for Knotted Residuated Lattices

  1. 1. 0429808 - UIVT-O 2015 RIV NL eng J - Článek v odborném periodiku
    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
    Grant CEP: GA ČR GAP202/11/1632
    Institucionální podpora: RVO:67985807
    Klíčová slova: residuated lattice * knotted rule * word problem * residuated frame * semi-Thue system * square-free word
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.669, rok: 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.
    Trvalý link: http://hdl.handle.net/11104/0234838
    Název souboruStaženoVelikostKomentářVerzePřístup
    0429808.pdf0741.8 KBAutorský preprintvyžádat