Výsledky vyhledávání
- 1.0380893 - ÚI 2013 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Víta, Martin
t-Filters and Fuzzy t-Filters and Their Properties.
Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012 - (Kuželová, D.; Hakl, F.), s. 70-75. ISBN 978-80-7278-217-7.
[Doktorandské dny 2012 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 24.09.2012-26.09.2012]
Grant CEP: GA ČR GD401/09/H007; GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: filters * fuzzy filters * residuated lattices
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211495Název souboru Staženo Velikost Komentář Verze Přístup 0380893.pdf 6 326.1 KB Vydavatelský postprint povolen - 2.0348224 - ÚI 2011 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Chvalovský, Karel
Non-Equivalence of Some Implicational Deduction Theorems.
Doktorandské dny '10. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010 - (Kuželová, D.; Hakl, F.), s. 49-55. ISBN 978-80-7378-133-0.
[Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i. Heřmanice v Podještědí (CZ), 29.09.2010-01.10.2010]
Grant CEP: GA AV ČR IAA900090703; GA ČR GD401/09/H007
Grant ostatní: GA UK 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: implicational deduction theorems * contraction-free logics * automated theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188809Název souboru Staženo Velikost Komentář Verze Přístup 0348224.pdf 15 176.1 KB Vydavatelský postprint povolen - 3.0328868 - ÚI 2010 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Petrík, Milan
Properties of Fuzzy Logical Operations.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.), s. 89-96. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 21.09.2009-23.09.2009]
Grant CEP: GA ČR GD401/09/H007
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: triangular norm * web geometry * generator, reconstruction, convex combination * generator * reconstruction * convex combination
Trvalý link: http://hdl.handle.net/11104/0175066Název souboru Staženo Velikost Komentář Verze Přístup 0328868.pdf 12 127.6 KB Vydavatelský postprint povolen - 4.0328861 - ÚI 2010 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Chvalovský, Karel
Syntactic Approach to Fuzzy Modal Logic in MTL.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.), s. 35-43. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 21.09.2009-23.09.2009]
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant ostatní: GA UK project 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logics * logic MTL * syntactic derivations * automated theorem proving
Trvalý link: http://hdl.handle.net/11104/0175061Název souboru Staženo Velikost Komentář Verze Přístup 0328861.pdf 17 102.1 KB Vydavatelský postprint povolen