Výsledky vyhledávání
- 1.0538234 - ÚI 2022 RIV CH eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms in Varieties of Subidempotent Rresiduated Structures.
Algebra Universalis. Roč. 82, č. 1 (2021), č. článku 6. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Residuated lattice * Brouwerian algebra * Heyting algebra * De Morgan monoid * Esakia space * Substructural logic * Relevance logic * Beth definability
Obor OECD: Pure mathematics
Impakt faktor: 0.526, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00012-020-00694-2
Trvalý link: http://hdl.handle.net/11104/0316060 - 2.0501952 - ÚI 2021 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Varieties of de Morgan Monoids: Covers of Atoms.
Review of Symbolic Logic. Roč. 13, č. 2 (2020), s. 338-374. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: De Morgan monoid * Sugihara monoid * Dunn monoid * residuated lattice * relevance logic
Obor OECD: Pure mathematics
Impakt faktor: 1.000, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020318000448
Trvalý link: http://hdl.handle.net/11104/0293916 - 3.0497034 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Varieties of De Morgan Monoids: Minimality and Irreducible Algebras.
Journal of Pure and Applied Algebra. Roč. 223, č. 7 (2019), s. 2780-2803. ISSN 0022-4049. E-ISSN 1873-1376
Grant CEP: GA MŠMT(CZ) EF17_050/0008361; GA ČR GJ15-07724Y
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: De Morgan monoid * Sugihara monoid * Residuated lattice * Relevance logic
Obor OECD: Pure mathematics
Impakt faktor: 0.770, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.jpaa.2018.09.015
Trvalý link: http://hdl.handle.net/11104/0289648 - 4.0478659 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Vidal, Amanda - Esteva, F. - Godo, L.
On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences.
Advances in Fuzzy Logic and Technology 2017. Vol. 3. Cham: Springer, 2018 - (Kacprzyk, J.; Szmidt, E.; Zadrozny, S.; Atanassov, K.; Krawczak, M.), s. 505-517. Advances in Intelligent Systems and Computing, 643. ISBN 978-3-319-66826-0. ISSN 2194-5357.
[EUSFLAT 2017. Conference of the European Society for Fuzzy Logic and Technology /10./. Warsaw (PL), 11.09.2017-15.09.2017]
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807
Klíčová slova: Many-valued modal logic * Necessity and possibility modal operators * Finite residuated lattice * Reasoning about graded preferences
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0274731Název souboru Staženo Velikost Komentář Verze Přístup a0478659.pdf 12 394.9 KB Autorský postprint vyžádat - 5.0478590 - ÚI 2018 RIV US eng J - Článek v odborném periodiku
Bezhanishvili, G. - Moraschini, Tommaso - Raftery, J.G.
Epimorphisms in Varieties of Residuated Structures.
Journal of Algebra. Roč. 492, 15 December (2017), s. 185-211. ISSN 0021-8693. E-ISSN 1090-266X
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Brouwerian algebra * Heyting algebra * Esakia space * Residuated lattice * Sugihara monoid * Substructural logic * Intuitionistic logic * Relevance logic * R-mingle * Beth definability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.675, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0274669Název souboru Staženo Velikost Komentář Verze Přístup a0478590.pdf 9 598.3 KB Vydavatelský postprint vyžádat - 6.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 - 7.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 - 8.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 - 9.0425340 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
Víta, Martin
Why are Papers about Filters on Residuated Structures (Usually) Trivial?
Information Sciences. Roč. 276, 20 August (2014), s. 387-391. ISSN 0020-0255. E-ISSN 1872-6291
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: residuated lattice * filter * t-Filter
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 4.038, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0231234 - 10.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