Výsledky vyhledávání
- 1.0550967 - ÚI 2023 RIV CH eng M - Část monografie knihy
Horčík, Rostislav
Finite Embeddability Property for Residuated Lattices via Regular Languages.
Hiroakira Ono on Substructural Logics. Cham: Springer, 2022 - (Galatos, N.; Terui, K.), s. 273-298. Outstanding Contributions to Logic, 23. ISBN 978-3-030-76919-2
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Finite Embeddability Property * Residuated Lattices * Regular Languages
Obor OECD: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-76920-8_7
Trvalý link: http://hdl.handle.net/11104/0326248 - 2.0537049 - ÚI 2021 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Finitely-valued propositional dynamic logics.
Advances in Modal Logic. London: College Publications, 2020 - (Olivetti, N.; Verbrugge, R.; Negri, S.; Sandu, G.), s. 561-579. ISBN 978-1-84890-341-8.
[AiML 2020: Conference on Advances in Modal Logic /14./. Helsinki / Online (FI), 24.08.2020-28.08.2020]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: FL-algebras * Many-valued modal logic * Propositional Dynamic Logic * Residuated lattices * Substructural logics * Weighted structures
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0314800Název souboru Staženo Velikost Komentář Verze Přístup 0537049-pre.pdf 0 262.3 KB z ArXiv.org Autorský preprint povolen - 3.0483648 - ÚI 2018 CN eng A - Abstrakt
Sedlár, Igor - Vidal, Amanda
Lattice-valued epistemic Logics.
NCMPL 2017 Abstracts. Sun Yat-sen University, 2017.
[NCMPL 2017. Non-Classical Modal and Predicate Logics /9./. 04.12.2017-07.12.2017, Guangzhou]
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * evidence * fuzzy logic * modal logic * residuated lattices
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0279744Název souboru Staženo Velikost Komentář Verze Přístup a0483648.pdf 0 4.7 MB Vydavatelský postprint povolen - 4.0478196 - ÚI 2018 NL eng J - Článek v odborném periodiku
Font, J.M. - Moraschini, Tommaso
M-Sets and the Representation Problem.
Studia Logica. Roč. 103, č. 1 (2015), s. 21-51. ISSN 0039-3215. E-ISSN 1572-8730
Klíčová slova: Abstract algebraic logic * Algebraizable logic * Isomorphism problem * M-set * Structural closure operator * Structural transformer * Modules over complete residuated lattices * Onto-projective objects
Impakt faktor: 0.724, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0274486 - 5.0457881 - ÚI 2016 CZ eng A - Abstrakt
Cintula, Petr
Substructural Logics: A logical Glimpse at Residuated Lattices.
AAAA91. 91st Workshop on General Algebra. Brno: MU Brno, 2016. s. 2-2.
[Workshop on General Algebra /91./. 05.02.2016-07.02.2016, Brno]
Institucionální podpora: RVO:67985807
Klíčová slova: substuctural logics * residuated lattices * algebraizable logics * abstract algebraic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0258228Název souboru Staženo Velikost Komentář Verze Přístup a0457881.pdf 1 1.5 MB Vydavatelský postprint povolen a0457881 slides.pdf 1 4.3 MB Jiná povolen - 6.0442866 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
Víta, Martin
A Short Note on t-filters, I-filters and Extended Filters on Residuated Lattices.
Fuzzy Sets and Systems. Roč. 271, 15 July (2015), s. 168-171. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: t-filters * I-filters * extended filters * residuated lattices
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.098, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0245682 - 7.0438994 - ÚI 2017 RIV CH eng J - Článek v odborném periodiku
Baldi, Paolo - Terui, K.
Densification of FL Chains via Residuated Frames.
Algebra Universalis. Roč. 75, č. 2 (2016), s. 169-195. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA ČR GAP202/10/1826
Klíčová slova: densifiability * standard completeness * residuated lattices * residuated frames * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.625, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0242323Název souboru Staženo Velikost Komentář Verze Přístup 0438994.pdf 1 788.1 KB Autorský preprint vyžádat - 8.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 - 9.0427493 - ÚI 2015 AT eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Skolem and Herbrand theorems for uninorm-based fuzzy logics.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 29-33
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0233023Název souboru Staženo Velikost Komentář Verze Přístup a0427493.pdf 1 97 KB Vydavatelský postprint povolen - 10.0425358 - ÚI 2015 RIV NL eng J - Článek v odborném periodiku
Víta, Martin
Fuzzy t-filters and their Properties.
Fuzzy Sets and Systems. Roč. 247, 16 July (2014), s. 127-134. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical logics * algebra * fuzzy t-filters * t-filters * fuzzy filters * residuated lattices
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.986, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0231252