Search results
- 1.0473662 - ÚI 2018 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : idempotent semiring * ordered monoid * universal theory * finite embeddability property * decidability
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.492, year: 2017
Permanent Link: http://hdl.handle.net/11104/0270794 - 2.0466762 - ÚI 2017 RIV DE eng J - Journal Article
Haniková, Zuzana
Complexity of Some Language Fragments of Fuzzy Logics.
Soft Computing. Roč. 21, č. 1 (2017), s. 69-77. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : fuzzy logic * propositional logic * language fragment * implicational fragment * commutative semigroup * equational theory * computational complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.367, year: 2017
Permanent Link: http://hdl.handle.net/11104/0264997 - 3.0442807 - ÚI 2017 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Subject RIV: BA - General Mathematics
Impact factor: 0.511, year: 2016
Permanent Link: http://hdl.handle.net/11104/0245628File Download Size Commentary Version Access a0442807.pdf 8 369.7 KB Publisher’s postprint require - 4.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
Permanent Link: http://hdl.handle.net/11104/0234838File Download Size Commentary Version Access 0429808.pdf 0 741.8 KB Author´s preprint require - 5.0429087 - ÚI 2015 RIV CH eng J - Journal Article
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
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : residuated groupoid * distributive lattice * finite embeddability property
Subject RIV: BA - General Mathematics
Impact factor: 0.442, year: 2014
Permanent Link: http://hdl.handle.net/11104/0234257File Download Size Commentary Version Access 0429087.pdf 2 636 KB Author´s preprint require - 6.0424950 - ÚI 2014 RIV DE eng J - Journal Article
Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
Relation lifting, with an application to the many-valued cover modality.
Logical Methods in Computer Science. Roč. 9, č. 4 (2013), 8_1-8_48. ISSN 1860-5974. E-ISSN 1860-5974
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : relation lifting * module * exact square * enriched categories * commutative quantale * coalgebra * modal logic * cover modality
Subject RIV: BA - General Mathematics
Impact factor: 0.443, year: 2013
http://www.lmcs-online.org/ojs/viewarticle.php?id=1154&layout=abstract
Permanent Link: http://hdl.handle.net/11104/0230931 - 7.0395570 - ÚI 2014 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z1030915
Institutional support: RVO:67985807
Keywords : residuated lattice * idempotent semiring * conucleus * Cayley * Holland * representation theorem
Subject RIV: BA - General Mathematics
Impact factor: 0.384, year: 2013
Permanent Link: http://hdl.handle.net/11104/0223574File Download Size Commentary Version Access 0395570.pdf 2 447.7 KB Author´s preprint require