OU > O univerzitě > Struktura univerzity > Fakulty a ústavy > Ústav pro výzkum a aplikace fuzzy modelování

Libor Běhounek

Základní

Životopis

Publikační činnost

Výuka

Vedené závěrečné práce

Projekty a granty


titul, jméno, příjmení:Mgr. Libor Běhounek, Ph.D.
místnost, podlaží, budova: C 708, budova C
funkce:
obor činnosti:matematická logika
katedra / středisko (fakulta): Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
telefon, mobil: 553 46 1410
e-mail:
osobní WWW stránka:



Nenalezen žádný záznam.



Všechny publikace

Běhounek, L. a Dvořák, A. First-order fuzzy modal logic with variable domains. In: Beauty of Logic 2018. Praha. 2018.
Běhounek, L. a Majer, O. Hájek-style modalities in fuzzy intensional semantics. In: Beauty of Logic 2018. Praha. 2018.
Běhounek, L. a Dvořák, A. Non-denoting terms in fuzzy logic: An initial exploration. In: EUSFLAT 2017: Advances in Fuzzy Logic and Technology 2017: Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology 2017-09-11 Warszawa. Cham: Springer International Publishing, 2018. s. 148-158. ISBN 978-3-319-66830-7.
Běhounek, L. A free semantics for fuzzy logic. In: Non-Classical Modal and Predicate Logics. Guangzhou: Sun Yat-Sen University Guangzhou. 2017.
Běhounek, L. A minimalistic many-valued theory of types. J LOGIC COMPUT. 2017, roč. 2017, č. 27, s. 1307-1332. ISSN 0955-792X.
Běhounek, L. Determinate truth in fuzzy plurivaluationism. In: Logica 2016: The Logica Yearbook 2016 2016-06-20 Hejnice. London: College Publication, 2017. s. 1-15. ISBN 978-1848902435.
Běhounek, L. First-order fuzzy logic. In: Seminar on Mathematical Fuzzy Logic. Guangzhou: Institute for Logic and Cognition, Sun Yat-Sen University. 2017.
Běhounek, L. Free quantification in fuzzy logic. In: Isralog 17 - The Third Israeli Workshop on Non-Classical Logics and Their Applications. Haifa. 2017.
Běhounek, L. Free quantification in fuzzy logic. In: Isralog 17: The Third Israeli Workshop on Non-Classical Logics and Their Applications 2017-10-15 Haifa, Israel. Haifa, Israel: University of Haifa, 2017. s. 10-13.
Běhounek, L. a Majer, O. Fuzzy intensional semantics. In: MoVaQ Workshop on Fuzzy Quantifiers and Related Topics. Vídeň. 2017.
Běhounek, L. On the interpretation of undefined degrees in partial fuzzy logic. In: Symposia on Mathematical Techniques Applied to Data Analysis and Processing (SMATAD). Fuengirola. 2017.
Běhounek, L. On the interpretation of undefined degrees in partial fuzzy logic. In: Symposia on Mathematical Techniques Applied to Data Analysis and Processing (SMATAD): Proceedings of Symposia on Mathematical Techniques Applied to Data Analysis and Processing (SMATAD) 2017-05-18 Fuengirola, Málaga. s. 55-56. ISBN 9788469733707.
Běhounek, L. Zentralblatt Review: Della Stella, M.E., Guido, C.: Functional many-valued relations. 2017.
Běhounek, L. Determinate truth in the fuzzy plurivaluationistic account of vagueness. In: Logica. Hejnice. 2016.
Běhounek, L. Formal calculi of fuzzy relations. In: 2nd EUSFLAT Summer School on Fuzzy Logic and Applications - SFLA 2016. Čeladná. 2016.
Běhounek, L. Fuzzy higher-order logic and higher-order vagueness. In: Workshop of Pukeko Logic Group. Wellington: Victoria University of Wellington. 2016.
Běhounek, L. Fuzzy solutions to classical problems. In: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland. 2016.
Běhounek, L. Maxima and minima in fuzzified linear orderings. FUZZY SET SYST. 2016, č. 289, s. 82-93. ISSN 0165-0114.
Běhounek, L., Cintula, P., Kroupa, T. a Fermüller, C. Representing strategic games and their equilibria in many-valued logics. LOG J IGPL. 2016, č. 24, s. 238-267. ISSN 1367-0751.
Běhounek, L. a Daňková, M. Towards fuzzy partial set theory. In: 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU): Information Processing and Management of Uncertainty in Knowledge-Based Systems: 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II 2016-06-20 Eindhoven, Nizozemí. Springer International Publishing, 2016. s. 482-494. ISBN 978-3-319-40580-3.
Běhounek, L. Towards predicate fuzzy partial logic. In: Logic, Algebra and Truth Degrees. Phalaborwa. 2016.
Běhounek, L. a Novák, V. Fuzzy partial logic: combining graduality and undefinedness. In: Logica 2015. Hejnice. 2015.
Běhounek, L., Bodenhofer, U., Cintula, P., Saminger-Platz, S. a Sarkoci, P. Graded dominance and related graded properties of fuzzy connectives. FUZZY SET SYST. 2015, roč. 2015, č. 262, s. 78-101. ISSN 0165-0114.
Běhounek, L. a Novák, V. Towards Fuzzy Partial Logic. In: 2015 IEEE 45th International Symposium on Multiple-Valued Logic: Towards Fuzzy Partial Logic 2015-05-18 Waterloo, Ontario, Canada. IEEE, 2015. s. 139-144. ISSN 0195-623X.
Běhounek, L. Towards fuzzy partial logic of the first and higher orders. In: Logic Colloquium 2015. Helsinki. 2015.
Běhounek, L. A ground many-valued type theory and its extensions. In: 35th Linz Seminar on Fuzzy Set Theory. Linz. 2014.
Běhounek, L. Church-style type theories over finitary weakly implicative logics. In: Logic, Algebra and Truth Degrees. Vídeň. 2014.
Běhounek, L. In which sense is fuzzy logic a logic for vagueness?. CEUR Workshop Proceedings. 2014, č. Vol-1205, s. 26-38. ISSN 1613-0073.
Běhounek, L. a Haniková, Z. Set theory and arithmetic in fuzzy logic. In: Petr Hájek on Mathematical Fuzzy Logic. 1. vyd. Springer, 2014. s. 63-89. Trends in Logic 6. ISBN 978-3-319-06232-7.
Běhounek, L. Technische Universitaet Wien. 2014.
Běhounek, L. Technische Universitaet Wien. 2013.
Běhounek, L. Technische Universitaet Wien. 2011.
Běhounek, L. Johannes Kepler Universitaet Linz. 2007.
Běhounek, L. Manchester University. 2006.
Běhounek, L. Johannes Kepler Universitaet Linz. 2005.


AutorNázev práceTypRok
Rašková MonikaMnožinové pojmy v trojhodnotové Lukasiewiczově logicediplomová 2016 


Nenalezen žádný záznam.

facebook
social hub