Výsledky vyhledávání
- 1.0473662 - ÚI 2018 RIV US eng J - Článek v odborném periodiku
Horčík, Rostislav
On Square-Increasing Ordered Monoids and Idempotent Semirings.
Semigroup Forum. Roč. 94, č. 2 (2017), s. 297-313. ISSN 0037-1912. E-ISSN 1432-2137
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: idempotent semiring * ordered monoid * universal theory * finite embeddability property * decidability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.492, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0270794 - 2.0442807 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with Contraction is Undecidable.
Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.511, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0245628Název souboru Staženo Velikost Komentář Verze Přístup a0442807.pdf 8 369.7 KB Vydavatelský postprint vyžádat - 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 - 4.0429087 - ÚI 2015 RIV CH eng J - Článek v odborném periodiku
Haniková, Zuzana - Horčík, Rostislav
The Finite Embeddability Property for Residuated Groupoids.
Algebra Universalis. Roč. 72, č. 1 (2014), s. 1-13. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: residuated groupoid * distributive lattice * finite embeddability property
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.442, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0234257Název souboru Staženo Velikost Komentář Verze Přístup 0429087.pdf 2 636 KB Autorský preprint vyžádat - 5.0405387 - UIVT-O 330759 DE eng J - Článek v odborném periodiku
Horčík, Rostislav
Standard Completeness Theorem for PiMTL.
Archive for Mathematical Logic. Roč. 44, - (2005), s. 413-424. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA201/02/1540; GA ČR GD401/03/H047
Grant ostatní: Net CEEPUS SK-042
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0125558Název souboru Staženo Velikost Komentář Verze Přístup 0405387.pdf 0 418.6 KB Autorský preprint povolen - 6.0405386 - UIVT-O 330758 NL eng J - Článek v odborném periodiku
Horčík, Rostislav
Residuated Fuzzy Logic with Additional Connectives and their Validation Sets.
Fuzzy Sets and Systems. Roč. 143, - (2004), s. 75-87. ISSN 0165-0114. E-ISSN 1872-6801
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.734, rok: 2004
Trvalý link: http://hdl.handle.net/11104/0125557Název souboru Staženo Velikost Komentář Verze Přístup 0405386.pdf 0 449.6 KB Autorský preprint povolen - 7.0405385 - UIVT-O 330757 CZ eng J - Článek v odborném periodiku
Horčík, Rostislav - Navara, M.
Validation Sets in Fuzzy Logics.
Kybernetika. Roč. 38, č. 1 (2002), s. 319-326. ISSN 0023-5954
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.341, rok: 2002
http://dml.cz/handle/10338.dmlcz/135466
Trvalý link: http://hdl.handle.net/11104/0125556Název souboru Staženo Velikost Komentář Verze Přístup Kybernetika_38-2002-3_8.pdf 0 707.7 KB Vydavatelský postprint povolen - 8.0395570 - ÚI 2014 RIV US eng J - Článek v odborném periodiku
Galatos, N. - Horčík, Rostislav
Cayley’s and Holland’s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices.
Semigroup Forum. Roč. 87, č. 3 (2013), s. 569-589. ISSN 0037-1912. E-ISSN 1432-2137
Grant CEP: GA ČR GAP202/11/1632
Výzkumný záměr: CEZ:AV0Z1030915
Institucionální podpora: RVO:67985807
Klíčová slova: residuated lattice * idempotent semiring * conucleus * Cayley * Holland * representation theorem
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.384, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0223574Název souboru Staženo Velikost Komentář Verze Přístup 0395570.pdf 2 447.7 KB Autorský preprint vyžádat - 9.0395361 - ÚI 2014 RIV GB eng J - Článek v odborném periodiku
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties.
Review of Symbolic Logic. Roč. 6, č. 3 (2013), s. 394-423. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: ESF/Austrian Science Foundation project(AT) I143-G15
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: nonassociative full Lambek calculus * deduction theorem * standard completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.525, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0223397Název souboru Staženo Velikost Komentář Verze Přístup 0395361.pdf 18 819.2 KB Autorský preprint povolen - 10.0383374 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Horčík, Rostislav
Minimal Varieties of Representable Commutative Residuated Lattices.
Studia Logica. Roč. 100, č. 6 (2012), s. 1063-1078. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GAP202/10/1826
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: commutative residuated lattice * subvariety lattice * minimal variety * substructural logic * maximally consistent logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.342, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0213332Název souboru Staženo Velikost Komentář Verze Přístup 0383374.pdf 0 517.3 KB Autorský preprint vyžádat