Ostravská univerzita používá na svých webových stránkách soubory cookies i další analytické nástroje. Rozumím

OU

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.



Vybrané publikace

Běhounek, L. a Daňková, M. Variable-domain fuzzy sets - Part II: Apparatus. Fuzzy Sets and Systems. 2019,, ISSN 0165-0114.
Běhounek, L. a Majer, O. Fuzzy intensional semantics. Journal of Applied Non-Classical Logics. 2018, 28(4), s. 348-388. ISSN 1166-3081.
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. Maxima and minima in fuzzified linear orderings. FUZZY SET SYST. 2016, č. 289, s. 82-93. ISSN 0165-0114.

Všechny publikace

Běhounek, L. A degree-theoretic framework for feasible knowledge. In: Logica 2019. Hejnice. 2019.
Běhounek, L. A formalism for resource-sensitive epistemic logic. In: CLMPST2019: 16th International Congress of Logic, Methodology and Philosophy of Science and Technology. Praha. 2019.
Běhounek, L. a Dvořák, A. Fuzzy Relational Modalities Admitting Truth-Valueless Propositions. Fuzzy Sets and Systems. 2019,, ISSN 0165-0114.
Běhounek, L. Institute for Investigation of Artificial Intelligence (IIIA) CSIC. 2019.
Štěpnička, M., CAO, T. H. N., Běhounek, L., Burda, M. a Dolný, A. Missing Values and Dragonfly Operations in Fuzzy Relational Compositions. INT J APPROX REASON. 2019, 113(October), s. 149-170. ISSN 0888-613X.
Běhounek, L., Cintula, P. a Lávička, T. Non-monotonic abstract multiset consequence relations. In: Logic Colloquium 2019. Praha. 2019.
Běhounek, L. Teaching "Formal set theory" with regard to students' comprehension. In: Workshop on Modern Teaching Inspired by Science. Ostrava: Ostravská univerzita. 2019.
Běhounek, L. a Daňková, M. Variable-domain fuzzy sets - Part I: Representation. Fuzzy Sets and Systems. 2019,, ISSN 0165-0114.
Běhounek, L. a Daňková, M. Variable-domain fuzzy sets - Part II: Apparatus. Fuzzy Sets and Systems. 2019,, ISSN 0165-0114.
Běhounek, L. a Daňková, M. Extending Aggregation Functions for Undefined Inputs. In: International Symposium on Aggregation and Structures 2018-07-02 Valladolid, Španělsko. s. 15-16.
Běhounek, L. a Daňková, M. Extending Aggregation Functions for Undefined Inputs. In: ISAS 2018: International Symposium on Aggregation and Structures. Valladolid. 2018.
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. Fuzzy intensional semantics. Journal of Applied Non-Classical Logics. 2018, 28(4), s. 348-388. ISSN 1166-3081.
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. Kripke modalities with truth-functional gaps. In: Advances in Modal Logic 2018: AiML 2018 Booklet of Short Papers 2018-08-27 Bern. Bern: University of Bern, 2018. s. 11-15.
Běhounek, L. a Dvořák, A. Kripke modalities with truth-functional gaps. In: Advances in Modal Logic. Bern. 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 Dvořák, A. Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation. In: Logic, Algebra and Truth Degrees 2018: Proceedings of Logic, Algebra and Truth Degrees 2018 2018-08-28 Bern. Bern: University of Bern, 2018. s. 20-23.
Běhounek, L. a Dvořák, A. Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation. In: Logic, Algebra and Truth Degrees. Bern. 2018.
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 2017-10-15 Haifa, Israel. Haifa, Israel: University of Haifa, 2017. s. 10-13.
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. 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
instagram
youtube
twitter
linked in
rss
social hub