Výsledky vyhledávání
- 1.0435915 - ÚI 2016 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0239734Název souboru Staženo Velikost Komentář Verze Přístup a0435915.pdf 5 373.1 KB Vydavatelský postprint vyžádat 0435915.pdf 2 1 MB Autorský preprint vyžádat - 2.0431686 - ÚI 2015 AT eng A - Abstrakt
Chvalovský, Karel
Undecidability of consequence relation in Full Non-associative Lambek Calculus.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 153-154
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236272Název souboru Staženo Velikost Komentář Verze Přístup a0431686.pdf 0 308 KB Vydavatelský postprint povolen - 3.0429808 - ÚI 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. E-ISSN 1873-1376
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
Trvalý link: http://hdl.handle.net/11104/0234838Název souboru Staženo Velikost Komentář Verze Přístup 0429808.pdf 0 741.8 KB Autorský preprint vyžádat