Search results
- 1.0446008 - ÚI 2016 CZ eng A - Abstract
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]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Permanent Link: http://hdl.handle.net/11104/0247993File Download Size Commentary Version Access a0446008.pdf 1 3.7 MB Publisher’s postprint open-access - 2.0439031 - ÚI 2015 AU eng A - Abstract
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]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0242342File Download Size Commentary Version Access a0439031.pdf 3 130.6 KB Publisher’s postprint open-access - 3.0439029 - ÚI 2015 AU eng A - Abstract
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]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0242343File Download Size Commentary Version Access a0439029.pdf 2 142 KB Publisher’s postprint open-access - 4.0438104 - ÚI 2015 IL eng A - Abstract
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]
R&D Projects: GA ČR GAP402/12/1309
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : rational Lukasiewicz logic * infinite game * Nash equilibrum
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0241582 - 5.0431685 - ÚI 2015 AT eng A - Abstract
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]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Institutional support: RVO:67985807
Keywords : type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236270File Download Size Commentary Version Access a0431685.pdf 0 440.4 KB Publisher’s postprint open-access - 6.0427494 - ÚI 2015 AT eng A - Abstract
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]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Institutional support: RVO:67985807
Keywords : type theory * many-valued logics * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233024File Download Size Commentary Version Access a0427494.pdf 0 96.6 KB Publisher’s postprint open-access - 7.0405499 - UIVT-O 330877 SK eng A - Abstract
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]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125660 - 8.0405491 - UIVT-O 330868 CZ eng A - Abstract
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]
Keywords : fuzzy logic * weakly implication logic * consequence relation
Permanent Link: http://hdl.handle.net/11104/0125653 - 9.0405451 - UIVT-O 330826 CH eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logics * implicative logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125615 - 10.0405425 - UIVT-O 330797 SK eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z1030915
Keywords : formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125593