Search results
- 1.0446020 - ÚI 2016 IT eng A - Abstract
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]
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248512File Download Size Commentary Version Access a0446020.pdf 0 315.2 KB Publisher’s postprint open-access - 2.0446016 - ÚI 2016 IT eng A - Abstract
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]
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248515File Download Size Commentary Version Access a0446016.pdf 0 307.6 KB Publisher’s postprint open-access - 3.0439018 - ÚI 2015 IT eng A - Abstract
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]
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0242336File Download Size Commentary Version Access a0439018.pdf 0 322.8 KB Publisher’s postprint open-access - 4.0431687 - ÚI 2015 AT eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : densification * commutative ordered monoid * commutative residuated chain * idempotent semiring * polynomial extension
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236273File Download Size Commentary Version Access a0431687.pdf 0 401.1 KB Publisher’s postprint open-access - 5.0430595 - ÚI 2015 GB eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : residuated lattice * idempotent semiring * conucleus * Holland's representation theorem
Subject RIV: BA - General Mathematics
http://easychair.org/publications/?page=963149281
Permanent Link: http://hdl.handle.net/11104/0235503File Download Size Commentary Version Access a0430595.pdf 0 250.6 KB Publisher’s postprint require - 6.0430593 - ÚI 2015 GB eng A - Abstract
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]
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z10300504
Keywords : Burnside problem * regular languages * residuated lattices
Subject RIV: BA - General Mathematics
http://easychair.org/publications/?page=1179031665
Permanent Link: http://hdl.handle.net/11104/0235502File Download Size Commentary Version Access a0430593.pdf 0 187.6 KB Publisher’s postprint open-access - 7.0422077 - ÚI 2014 ZA eng A - Abstract
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]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Subject RIV: BA - General Mathematics
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Permanent Link: http://hdl.handle.net/11104/0228293File Download Size Commentary Version Access 0422077.pdf 0 79 KB Other open-access - 8.0405500 - UIVT-O 330878 SK eng A - Abstract
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]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125661 - 9.0405485 - UIVT-O 330862 ES eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : Archimedean completeness * MTL-algebra * residuated lattice * monoidal t-norm logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125647 - 10.0405390 - UIVT-O 330762 GR eng A - Abstract
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]
R&D Projects: GA ČR ga201/02/1540; GA ČR GD401/03/H047
Grant - others:Net CEEPUS SK-042
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125560