Výsledky vyhledávání
- 1.0446008 - ÚI 2016 CZ eng A - Abstrakt
Běhounek, Libor - Novák, V.
Fuzzy Partial Logic: Combining Graduality and Undefinedness.
Logica 2015. Prague: Institute of Philosophy AS CR, 2015. s. 9-11.
[Logica 2015. 15.06.2015-19.06.2015, Hejnice]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Trvalý link: http://hdl.handle.net/11104/0247993Název souboru Staženo Velikost Komentář Verze Přístup a0446008.pdf 1 3.7 MB Vydavatelský postprint povolen - 2.0439031 - ÚI 2015 AU eng A - Abstrakt
Běhounek, Libor - Cintula, Petr - Noguera, Carles
Fuzzy logics as logics of linearly ordered resources I: Motivation and apparatus.
Vagueness via Nonclassical Logics. Sydney: University od Sydney, 2014. s. 2-2.
[Vagueness via Nonclassical Logics. 17.12.2014-20.12.2014, Sydney]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242342Název souboru Staženo Velikost Komentář Verze Přístup a0439031.pdf 3 130.6 KB Vydavatelský postprint povolen - 3.0439029 - ÚI 2015 AU eng A - Abstrakt
Běhounek, Libor - Cintula, Petr - Noguera, Carles
Fuzzy logics as logics of linearly ordered resources II: Applications.
Vagueness via Nonclassical Logics. Sydney: University od Sydney, 2014. s. 3-3.
[Vagueness via Nonclassical Logics. 17.12.2014-20.12.2014, Sydney]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242343Název souboru Staženo Velikost Komentář Verze Přístup a0439029.pdf 2 142 KB Vydavatelský postprint povolen - 4.0438104 - ÚI 2015 IL eng A - Abstrakt
Běhounek, Libor - Cintula, Petr - Kroupa, Tomáš
Nash Equilibria in a Class of Continuous Games over Rational Lukasiewicz Logic.
ISRALOG'14 Abstracts. Haifa: Faculty of Social Sciences, 2014. s. 44-47.
[ISRALOG 2014. Israeli Workshop on Non-Classical Logics and Their Applications /2./. 29.09.2014-01.10.2014, Haifa]
Grant CEP: GA ČR GAP402/12/1309
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: rational Lukasiewicz logic * infinite game * Nash equilibrum
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0241582 - 5.0431685 - ÚI 2015 AT eng A - Abstrakt
Běhounek, Libor
Church-style type theories over finitary weakly implicative logics.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236270Název souboru Staženo Velikost Komentář Verze Přístup a0431685.pdf 0 440.4 KB Vydavatelský postprint povolen - 6.0427494 - ÚI 2015 AT eng A - Abstrakt
Běhounek, Libor
A ground many-valued type theory and its extensions.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 15-18
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: type theory * many-valued logics * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0233024Název souboru Staženo Velikost Komentář Verze Přístup a0427494.pdf 0 96.6 KB Vydavatelský postprint povolen - 7.0405499 - UIVT-O 330877 SK eng A - Abstrakt
Běhounek, Libor
A Formal Fuzzy Theory of the Dedekind Completion.
International Conference in Applied Mathematics for Undergraduate and Graduate Students. Bratislava: Slovak University of Technology, 2005 - (Bognár, T.; Čipková, K.). s. 8
[ISCAM 2005. 15.04.2005-16.04.2005, Bratislava]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125660 - 8.0405491 - UIVT-O 330868 CZ eng A - Abstrakt
Běhounek, Libor - Cintula, Petr
A Formal Delimitation of Fuzzy Logics in the Logical Landscape.
Logica 2005. Prague: Filosofia, 2005.
[Logica 2005. 20.06.2005-24.06.2005, Hejnice]
Klíčová slova: fuzzy logic * weakly implication logic * consequence relation
Trvalý link: http://hdl.handle.net/11104/0125653 - 9.0405451 - UIVT-O 330826 CH eng A - Abstrakt
Cintula, Petr - Běhounek, Libor
Fuzzy Logics among Weakly Implicative Logics.
UNILOG'05 - Handbook. Neuchatel: University of Neuchatel, 2005 - (Beziau, J.; Costa-Leite, A.). s. 53-54
[World Congress and School on Universal Logic /1./. 26.03.2005-03.04.2005, Montreux]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logics * implicative logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125615 - 10.0405425 - UIVT-O 330797 SK eng A - Abstrakt
Cintula, Petr - Běhounek, Libor
Formal Theories of Mathematical Structures with Vagueness.
Mathematics, Geometry and their Applications. Bratislava: STU Publishing House, 2004 - (Mesiar, E.; Saminger, S.; Ipolyiová, M.; Struk, P.). s. 7-10. ISBN 80-227-2165-4.
[MAGIA UWPM. 15.10.2004-17.10.2004, Kočovice SK, Weyereng am Attersee]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125593