Výsledky vyhledávání
- 1.0384255 - ÚI 2013 CZ eng A - Abstrakt
Běhounek, Libor
The Logical Background of Fuzzy Plurivaluationism.
Logica 2012. Prague: Institute of Philosophy AS CR, 2012. s. 18-19.
[LOGICA 2012. 18.06.2012-22.06.2012, Hejnice]
Grant CEP: GA ČR GPP103/10/P234
Institucionální podpora: RVO:67985807
Klíčová slova: degree theories of vagueness * fuzzy logic * formal semantics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0213963 - 2.0381412 - ÚI 2013 JP eng A - Abstrakt
Běhounek, Libor
Feasibility of program runs in fuzzified Propositional Dynamic Logic.
Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012 - (Terui, K.; Preining, N.). s. 32-34
[Logic, Algebra and Truth Degrees 2012. 10.09.2012-14.09.2012, Kanazawa]
Grant CEP: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826; GA AV ČR IAA900090703
Institucionální podpora: RVO:67985807
Klíčová slova: propositional dynamic logic * fuzzy logic * feasibility * výroková dynamická logika * fuzzy logika * proveditelnost
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211888 - 3.0379850 - ÚI 2013 ES eng A - Abstrakt
Běhounek, Libor
Infinitesimal calculus over semilinear contraction-free logics.
Logic Colloquium 2012. Manchester: University of Manchester, 2012. s. 15.
[Logic Colloquium 2012. 12.07.2012-18.07.2012, Manchester]
Grant CEP: GA ČR GPP103/10/P234
Institucionální podpora: RVO:67985807
Klíčová slova: infinitesimal * fuzzy logic * limit
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210716 - 4.0373450 - ÚI 2012 SK eng A - Abstrakt
Běhounek, Libor
Plurivaluationistic model for vagueness in logic-based fuzzy mathematics.
Eleventh International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Armed Forces Academy of General Milan Rastislav Štefánik, 2012 - (Klement, P.; Mesiar, R.; Struk, P.; Drobná, E.). s. 22-23. ISBN 978-80-8040-438-3.
[FSTA 2012 /11./. 30.01.2012-03.02.2012, Liptovský Ján]
Grant CEP: GA ČR GPP103/10/P234
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy set * plurivaluationism * vagueness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0206547 - 5.0372970 - ÚI 2012 CZ eng A - Abstrakt
Běhounek, Libor
Fuzzy Set Theories with Naive Comprehension.
NCMPL 2011 Abstracts. Prague: F solutions, 2011 - (Cintula, P.; Ju, S.; Víta, M.). s. 17-21. ISBN 978-80-87465-00-4.
[NCMPL 2011. Non-Classical Modal and Predicate Logics. 05.12.2011-09.12.2011, Guangzhou]
Grant CEP: GA ČR GPP103/10/P234
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: naive set theory * fuzzy logic * Leibniz equality
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0206156