Výsledky vyhledávání
- 1.0446020 - ÚI 2016 IT eng A - Abstrakt
Horčík, Rostislav
Characterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 140-141.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0248512Název souboru Staženo Velikost Komentář Verze Přístup a0446020.pdf 0 315.2 KB Vydavatelský postprint povolen - 2.0446016 - ÚI 2016 IT eng A - Abstrakt
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with contraction is undecidable.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 49-50.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0248515Název souboru Staženo Velikost Komentář Verze Přístup a0446016.pdf 0 307.6 KB Vydavatelský postprint povolen - 3.0439018 - ÚI 2015 IT eng A - Abstrakt
Horčík, Rostislav - Chvalovský, Karel
Full Lambek Calculus with Contraction is Undecidable.
Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts. 2014. s. 13-13.
[Beyond True and False: Logic, Algebra and Topology. 03.12.2014-05.12.2014, Florence]
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242336Název souboru Staženo Velikost Komentář Verze Přístup a0439018.pdf 0 322.8 KB Vydavatelský postprint povolen - 4.0431687 - ÚI 2015 AT eng A - Abstrakt
Galatos, N. - Horčík, Rostislav
Densification via polynomial extensions.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 179-182
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Institucionální podpora: RVO:67985807
Klíčová slova: densification * commutative ordered monoid * commutative residuated chain * idempotent semiring * polynomial extension
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236273Název souboru Staženo Velikost Komentář Verze Přístup a0431687.pdf 0 401.1 KB Vydavatelský postprint povolen - 5.0430595 - ÚI 2015 GB eng A - Abstrakt
Galatos, N. - Horčík, Rostislav
Cayley’s and Holland’s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.). s. 76-79. ISSN 2040-557X.
[TACL 2013. 28.07.2013-01.08.2013, Nashville]
Institucionální podpora: RVO:67985807
Klíčová slova: residuated lattice * idempotent semiring * conucleus * Holland's representation theorem
Kód oboru RIV: BA - Obecná matematika
http://easychair.org/publications/?page=963149281
Trvalý link: http://hdl.handle.net/11104/0235503Název souboru Staženo Velikost Komentář Verze Přístup a0430595.pdf 0 250.6 KB Vydavatelský postprint vyžádat - 6.0430593 - ÚI 2015 GB eng A - Abstrakt
Horčík, Rostislav
Residuated Lattices, Regular Languages, and Burnside Problem.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.). s. 6-7. ISSN 2040-557X.
[TACL 2013. 28.07.2013-01.08.2013, Nashville]
Grant CEP: GA ČR GAP202/11/1632
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Burnside problem * regular languages * residuated lattices
Kód oboru RIV: BA - Obecná matematika
http://easychair.org/publications/?page=1179031665
Trvalý link: http://hdl.handle.net/11104/0235502Název souboru Staženo Velikost Komentář Verze Přístup a0430593.pdf 0 187.6 KB Vydavatelský postprint povolen - 7.0422077 - ÚI 2014 ZA eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The quest for the basic fuzzy logic.
Proceedings of the International Workshop on Algebraic Logic in Computer Science. Stellenbosch: University of Stellenbosch, 2013. s. 1-4.
[International Workshop on Algebraic Logic in Computer Science. 14.12.2013, Stellenbosch]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Kód oboru RIV: BA - Obecná matematika
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Trvalý link: http://hdl.handle.net/11104/0228293Název souboru Staženo Velikost Komentář Verze Přístup 0422077.pdf 0 79 KB Jiná povolen - 8.0405500 - UIVT-O 330878 SK eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav
Towards Formal Theory of Fuzzy Partitions.
International Conference in Applied Mathematics for Undergraduate and Graduate Students. Bratislava: Slovak University of Technology, 2005 - (Bognár, T.; Čipková, K.). s. 10-11
[ISCAM 2005. 15.04.2005-16.04.2005, Bratislava]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125661 - 9.0405485 - UIVT-O 330862 ES eng A - Abstrakt
Horčík, Rostislav - Cintula, Petr - Montagna, F.
Archimedean Completeness and Subvarieties of PiMTL-Algebras.
Algebraic and Topological Methods in Non-Classical Logics. Barcelona: Universitat de Barcelona, 2005. s. 40-41.
[Algebraic and Topological Methods in Non-Classical Logics /2./. 15.06.2005-18.06.2005, Barcelona]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Archimedean completeness * MTL-algebra * residuated lattice * monoidal t-norm logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125647 - 10.0405390 - UIVT-O 330762 GR eng A - Abstrakt
Horčík, Rostislav
Structure of Commutative Cancellative Residuated l-monoids in [0,1].
Residuated Structures and Many-Valued Logics. Patras: University of Patras, 2004. s. 1-2.
[Residuated Structures and Many-Valued Logics. 02.06.2004-05.06.2004, Patras]
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
Trvalý link: http://hdl.handle.net/11104/0125560