Logic - Libor Behounek

Follow this link for more info about myself.

Updates

The IUKM2023 conference paper Free quantification in four-valued and fuzzy bilattice-valued logics (joint work with M. Dankova and A. Dvorak) is available at arXiv.
The special issue of the Logic Journal of the IGPL on Non-Classical Modal and Predicate Logics is being prepared. The submitted articles are currently undergoing the peer-review process.
Corrigenda to Chapter 1, "Introduction to Mathematical Fuzzy Logic" of the Handbook of Mathematical Fuzzy Logic have been restored and updated.

Last change: 08 January 2024

Affiliation

University of Ostrava >> Institute for Research and Applications of Fuzzy Modeling >> Libor Behounek (email: libor.behounek@osu.cz)

Papers

You can ask me for a copy of any of my papers that cannot be displayed here in full.

Published

Journal papers

Badia G., Behounek L., Cintula P., Tedder A.: Relevant consequence relations: An invitation. The Review of Symbolic Logic, First view, doi: 10.1017/S1755020323000205. (Open access.)
Behounek L., Dankova M.: Aggregation operators with undefined inputs or outputs. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 30: 19-41 (2022). (Link.)
Behounek L., Majer O.: A graded semantics for counterfactuals. Synthese 199: 11963-11994 (2021). (Link.)
Behounek L., Dvorak A.: Fuzzy relational modalities admitting truth-valueless propositions. Fuzzy Sets and Systems 388: 38-55 (2020). (Link.)
Behounek L., Dankova M.: Variable-domain fuzzy sets - Part II: Apparatus. Fuzzy Sets and Systems 380: 19-43 (2020). (Link.)
Behounek L., Dankova M.: Variable-domain fuzzy sets - Part I: Representation. Fuzzy Sets and Systems 380: 1-18 (2020). (Link.)
Stepnicka M., Cao T.H.N., Behounek L., Burda M., Dolny A.: Missing values and dragonfly operations in fuzzy relational compositions. International Journal of Approximate Reasoning 113: 149-170 (2019). (Link.)
Behounek L., Majer O.: Fuzzy intensional semantics. Journal of Applied Non-Classical Logics 28(4): 348–388 (2018). (Open access.)
Behounek L.: A minimalistic many-valued theory of types. Journal of Logic and Computation 27(5): 1307-1332 (2017). (Free access link.)
Behounek L.: Maxima and minima in fuzzified linear orderings. Fuzzy Sets and Systems 289: 82-93 (2016). (Link.)
Behounek L., Cintula P., Fermüller C., Kroupa T.: Representing strategic games and their equilibria in many-valued logics. Logic Journal of the IGPL 24: 238-267 (2016). (Link, arXiv.)
Behounek L., Bodenhofer U., Cintula P., Saminger-Platz S., Sarkoci P.: Graded dominance and related graded properties of fuzzy connectives. Fuzzy Sets and Systems 262: 78-101 (2015). (Link, preprint.)
Behounek L.: Graded properties of unary and binary fuzzy connectives. Fuzzy Sets and Systems, 202: 1-41 (2012). (Link, preprint.)
Behounek L., Dankova M.: Relational compositions in Fuzzy Class Theory. Fuzzy Sets and Systems 160(8): 1005-1036 (2009). (Link, preprint.)
Behounek L., Bodenhofer U., Cintula P.: Relations in Fuzzy Class Theory: Initial steps. Fuzzy Sets and Systems 159(14): 1729-1772 (2008). (Link, preprint.)
Behounek L.: On the difference between traditional and deductive fuzzy logic. Fuzzy Sets and Systems 159(10): 1153-1164 (2008). (Link, preprint.)
Behounek, L., Cintula, P.: From fuzzy logic to fuzzy mathematics: a methodological manifesto. Fuzzy Sets and Systems 157(5): 642-646 (2006). (Link, preprint.)
Behounek, L., Cintula, P.: Fuzzy logics as the logics of chains. Fuzzy Sets and Systems 157(5): 604-610 (2006). (Link, preprint.)
Behounek, L., Cintula, P.: Fuzzy class theory. Fuzzy Sets and Systems 154(1): 34-55 (2005). (Link, preprint.)
Behounek, L.: Fuzzification of Groenendijk-Stokhof propositional erotetic logic. Logique et Analyse 47(185-188): 167-188 (2004). (Preprint).

Papers in conference proceedings and edited volumes

Behounek L., Dankova M., Dvorak A.: Free quantification in four-valued and fuzzy bilattice-valued logics. In V.-N. Hyunh et al. (eds.): Integrated Uncertainty in Knowledge Modelling and Decision Making (10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023, Proceedings, Part I), vol. 14375 of Lecture Notes in Computer Science, pp. 15-26, Springer, 2023. (Link, preprint.)
Behounek L., Dankova M.: Sup-T compositions of partial fuzzy relations. In R. Mesiar et al. (eds.): Joint Proceedings of the 19th IFSA, the 12th EUSFLAT, and the 11th AGOP, vol. 3 of Atlantis Studies in Uncertainty Modelling, pp. 24-31, Atlantis Press, 2021. (Open access).
Dankova M., Behounek L.: Fuzzy neighborhood semantics for multi-agent probabilistic reasoning in games. In M.J. Lesot et al. (eds): Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2020), vol. 1239 of Communications in Computer and Information Science, pp. 680-693, Springer, 2020. (Link.)
Behounek L.: A degree-theoretic framework for feasible knowledge. In I. Sedlar, M. Blicha (eds.): The Logica Yearbook 2019, pp. 1-15, College Publications, 2020. (Preprint.)
Behounek L., Dvorak A.: Non-denoting terms in fuzzy logic: An initial exploration. In Advances in Fuzzy Logic and Technology 2017 (Proceedings of EUSFLAT 2017), vol. 641 of Advances in Intelligent Systems and Computing, pp. 148-158, Springer, 2018. (Link.)
Behounek L.: Determinate truth in fuzzy plurivaluationism. In P. Arazim, T. Lavicka (eds.): The Logica Yearbook 2016, pp. 1-15, College Publications, 2017. (Preprint.)
Behounek L., Dankova M.: Towards fuzzy partial set theory. In J.P. Carvalho et al. (eds.): Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), Part II, Communications in Computer and Information Science 611, pp. 482-494. Springer, 2016. (Link.)
Behounek L., Novak V.: Towards fuzzy partial logic. In Proceedings of the IEEE 45th International Symposium on Multiple-Valued Logics (ISMVL 2015), pp. 139-144, Waterloo, Ontario, 2015. (Conference webpage, corrigenda.)
Behounek L., Hanikova Z.: Set theory and arithmetic in fuzzy logic. In F. Montagna (ed.): Petr Hajek on Mathematical Fuzzy Logic, pp. 63-89. Series Outstanding Contributions to Logic, vol. 6, Springer 2015. (Link, preprint.)
Behounek L.: In which sense is fuzzy logic a logic for vagueness? In T. Lukasiewicz, R. Penaloza, A.-Y. Turhan (eds.): CEUR Workshop Proceedings Vol-1205: Logics for Reasoning about Preferences, Uncertainty, and Vagueness 2014, pp. 26-38, 2014. (Link.)
Behounek L., Cintula P., Hajek P.: Introduction to mathematical fuzzy logic. In P. Cintula, P. Hajek, C. Noguera (eds.): Handbook of Mathematical Fuzzy Logic, pp. 1-101, College Publications, 2011. (Full text, corrigenda.)
Behounek L., Majer O.: A semantics for counterfactuals based on fuzzy logic. In M. Pelis, V. Puncochar (eds.): The Logica Yearbook 2010, pp. 25-41, College Publications, 2011. (Preprint.)
Behounek L., Cintula P., Bodenhofer U., Saminger-Platz S., Sarkoci P.: On a graded notion of t-norm and dominance, In Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logics (ISMVL 2010), pp. 73-76, Barcelona 2010. (Preprint, conference website.)
Behounek L.: Extending Cantor-Lukasiewicz set theory with classes. In P. Cintula, E.P. Klement, L.N. Stout (eds.): Lattice-Valued Logic and Its Applications. Abstracts of the 31st Linz Seminar on Fuzzy Set Theory, pp. 14-19, Linz 2010. (Preprint.)
Behounek L.: Number-free mathematics based on t-norm fuzzy logic. In J. Carvalho, D. Dubois, U. Kaymak, J. Sousa (eds.): Proceedings of IFSA-EUSFLAT 2009, pp. 449-454, Lisbon 2009. (Preprint, conference website, the volume online.)
Behounek L.: Fuzzy logics interpreted as logics of resources. In M. Pelis (ed.): The Logica Yearbook 2008, pp. 9-21, College Publications 2009. (Preprint.)
Behounek L.: Formalni fuzzy logika (Czech, "Formal fuzzy logic"). In V. Kvasnicka, J. Pospichal, S. Kozak, P. Navrat, P. Paroulek (eds.): Umela inteligencia a kognitivna veda I (Slovak, "Artificial Intelligence and Cognitive Science I"), pp. 1-36, Slovak Technical University in Bratislava 2009.
Behounek L., Bodenhofer U., Cintula P., Saminger-Platz S.: Graded dominance. In E.P. Klement, S.E. Rodabaugh, L.N. Stout (eds.): Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Abstracts of the 29th Linz Seminar on Fuzzy Set Theory, pp. 11-14, Linz 2008. (Preprint.)
Behounek L., Kroupa T.: Continuous relations over topological spaces in Fuzzy Class Theory. In E.P. Klement, S.E. Rodabaugh, L.N. Stout (eds.): Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Abstracts of the 29th Linz Seminar on Fuzzy Set Theory, pp. 15-18, Linz 2008. (Preprint.)
Behounek L., Bodenhofer U., Cintula P.: Valverde-style representation results in a graded framework. In M. Stepnicka, V. Novak, U. Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the 5th EUSFLAT Conference, vol. I, pp. 153-160, University of Ostrava 2007. (Preprint, the volume online, conference website.)
Behounek L., Kroupa T.: Interior-based topology in Fuzzy Class Theory. In M. Stepnicka, V. Novak, U. Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the 5th EUSFLAT Conference, vol. I, pp. 145-151, University of Ostrava 2007. Awarded the Distinguished Student Paper Award at the 5th Eusflat Conference. (Preprint, the volume online, conference website.)
Behounek L., Kroupa T.: Topology in Fuzzy Class Theory: Basic notions. In P. Melin, O. Castillo, L.T. Aguilar, J Kacprzyk, W. Pedrycz (eds.): Foundations of Fuzzy Logic and Soft Computing, pp. 513-522. Lecture Notes in Artificial Intelligence 4529 (IFSA 2007), Springer 2007. (Preprint, congress website.)
Behounek L., Cintula P.: Features of mathematical theories in formal fuzzy logic. In P. Melin, O. Castillo, L.T. Aguilar, J. Kacprzyk, W. Pedrycz (eds.): Foundations of Fuzzy Logic and Soft Computing, pp. 523-532. Lecture Notes in Artificial Intelligence 4529 (IFSA 2007), Springer 2007. (Preprint, congress website.)
Behounek L.: Dubois and Prade's fuzzy elements: A challenge for formal fuzzy logic (extended abstract). In S. Gottwald, P. Hajek, M. Ojeda-Aciego (eds.): LSC'06 Intl Conference on The Logic of Soft Computing & Workshop of the ERCIM working group on Soft Computing, pp. 90-95. Malaga 2006. (Preprint, conference website.)
Behounek L., Dankova M.: Automated proofs for composition-based fuzzy relational notions. In S. Gottwald, P. Hajek, M. Ojeda-Aciego (eds.): LSC'06 Intl Conference on The Logic of Soft Computing & Workshop of the ERCIM working group on Soft Computing, pp. 96-102. Malaga 2006. (Preprint, conference website.)
Behounek L.: Extensionality in Graded Properties of Fuzzy Relations. In Proceedings of the Eleventh International Conference IPMU 2006, pp. 1604-1611, Edition EDK, Paris 2006. (Preprint, conference website.)
Behounek L.: Kurt Gödel: zivot, vysledky a jejich vyznam (Czech, "Kurt Gödel: Life, Results and Their Significance"). In J. Kelemen, V. Kvasnicka (eds.): Kognice a umely zivot VI (Czech, "Cognition and Artificial Life VI"), pp. 47-57. (Czech preprint with a short summary in English.) A revised version reprinted in V. Kvasnicka, P. Trebaticky, J. Pospichal, J. Kelemen (eds.): Mysel, inteligencia a zivot (Slovak, "Mind, Intelligence, and Life"), pp. 129-143, Slovak Technical University Publishing House, Bratislava 2007. (Czech RTF preprint.)
Behounek L.: Towards A Formal Theory of Fuzzy Dedekind Reals. In E. Montseny, P. Sobrevilla (eds): Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT) and the 11th Rencontres Francophones sur la Logique Floue et ses Applications (LFA), Barcelona, Spain, September 7-9, 2005, pp. 949-954. Barcelona 2005. (Preprint, the volume online.)
Behounek L., Cintula P.: Fuzzy Class Theory as Foundations for Fuzzy Mathematics. In Y. Liu, G. Chen, M. Ying (eds.): Fuzzy Logic, Soft Computing and Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, vol. 2, pp. 1233-1238. Tsinghua University Press & Springer, Beijing 2005. (Preprint.)
Behounek L., Cintula P.: General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus. In Y. Liu, G. Chen, M. Ying (eds.): Fuzzy Logic, Soft Computing and Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, vol. 2, pp. 1227-1232. Tsinghua University Press & Springer, Beijing 2005. (Preprint.) Awarded the Best Paper Award at the 11th IFSA World Congress, Beijing 2005.
Behounek L., Cintula P.: Relations in Higher-Order Fuzzy Logic I, II. In S. Gottwald, P. Hajek, U. Höhle, E.P. Klement (eds.): Fuzzy Logics and Related Structures: Abstracts of the 26th Linz Seminar on Fuzzy Set Theory, pp. 10-15, Johannes Kepler University, Linz 2005. (The volume online.)
Bodenhofer U., Behounek L., Cintula P.: Relations in Higher-Order Fuzzy Logic III. In S. Gottwald, P. Hajek, U. Höhle, E.P. Klement (eds.): Fuzzy Logics and Related Structures: Abstracts of the 26th Linz Seminar on Fuzzy Set Theory, pp. 20-22, Johannes Kepler University, Linz 2005. (The volume online.)
Behounek L.: Formalni semantika logiky modalit (Czech, "Formal semantics of the logic of modalities"). In V. Kolman (ed.): Moznost, skutecnost, nutnost (Czech, "Possibility, Reality, Necessity"), pp. 51-88, Filosofia, Prague 2005.
Behounek L.: Axiomatic Fuzzy Set Theories. In P. Jirku and K. Bendova (eds.): Miscellanea Logica V (pp. 31-43). Karolinum Press, Prague 2003. (Printed volume, corrected preprint.)

Minor publications

Behounek L.: Fuzzified linear orderings, fuzzy maxima and minima. Research report No. V-1186, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2014. (The report.)
Behounek L.: Feasibility as a gradual notion. In A. Voronkov, G. Sutcliffe, M. Baaz and Ch. Fermüller: LPAR-17-short: short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. EasyChair Proceedings in Computing, volume 13, pp. 15-19, 2013. (Open access.)
Behounek L.: Comments on "Fuzzy logic and higher-order vagueness" by Nicholas J.J. Smith. In Cintula P., Fermüller Ch., Godo Ll., Hajek P. (eds.): Understanding vagueness: logical, philosophical, and lingustic perspectives, pp. 21-28, College Publications 2011. (Preprint.)
Behounek L., Bodenhofer U., Cintula P., Sarkoci P., Saminger-Platz S.: Graded properties of binary fuzzy connectives. Research report No. V-1042, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2011. (The report.)
Behounek L.: Fuzzy set theories with naive comprehension. In P. Cintula, Sh. Ju, M. Vita (eds.): Volume of Abstracts: Non-Classical Modal and Predicate Logics 2011, pp. 17-21, Sun Yat-Sen University Guangzhou, Guangzhou 5-9 December 2011. ISBN 987-80-87465-00-4. (The volume online.)
Behounek L.: Number-free reductions in logic-based fuzzy mathematics. Research report No. V-1032, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2008. (The report.)
Behounek L.: Modeling costs of program runs in fuzzified propositional dynamic logic. In F. Hakl (ed.): Doktorandske dny '08, pp. 6-14, ICS AS CR & Matfyzpress, Prague 2008. (Corrected preprint, the volume.)
Behounek L.: Introspekce vagnich znalosti ve fuzzy logice (Czech, "Introspection of vague knowledge in fuzzy logic"). In J. Kelemen, V. Kvasnicka, K. Pstruzina (eds.): Kognice a umely zivot VIII (Czech, "Cognition and Artificial Life VIII"), p. 43-48. Silesian University of Opava, 2008. (Czech RTF preprint.)
Behounek L.: An alternative justification of the axioms of fuzzy logics (abstract). The Bulletin of Symbolic Logic 13 (2007): 267. (Preprint, the issue.)
Behounek L., Cintula P.: Multiplicative quantifiers in fuzzy and substructural logics (abstract). In Logic Colloquium 2007: Book of Abstracts, p. 36. Uniwersytet Wroclawski, Wroclaw 2007, ISBN 978-83-910055-6-9. (Preprint.)
Majer O., Behounek L.: Probabilistic representation of fuzzy logic (abstract). In Logic Colloquium 2007: Book of Abstracts, p. 60. Uniwersytet Wroclawski, Wroclaw 2007, ISBN 978-83-910055-6-9. (Preprint.)
Behounek L.: Dve souvislosti mezi epistemickou a fuzzy logikou (Czech, Two connections between epistemic and fuzzy logics). In J. Kelemen, V. Kvasnicka, J. Pospichal (eds.): Kognicia a umely zivot VII (Slovak, Cognition and Artificial Life), pp. 37-42. Silesian University in Opava, 2007. (Czech RTF preprint.)
Behounek L., Cintula P.: Fuzzy Class Theory: A primer v1.0. Research report No. 939, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2006. (The report.)
Behounek L.: Relative interpretations over first-order fuzzy logics. In F. Hakl (ed.), Doktorandsky den '06, pp. 5-10. ICS AS CR & Matfyzpress, Prague 2006, ISBN 80-86732-87-8. (The volume.)
Behounek L.: Fuzzy MacNeille and Dedekind completions of crisp dense linear orderings (extended abstract). In F. Hakl (ed.): Doktorandsky den '05, pp. 5-10. ICS AS CR &' Matfyzpress, Prague 2005, ISBN 80-86732-56-8. (The volume.)
Behounek L.: Two notions of fuzzy lattice completion (abstract). In V. Novak, M. Stepnicka: International Conference The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing, pp. 22-24. Research report No. 77, Institute for Research and Application of Fuzzy Modeling, University of Ostrava, Ostrava 2005. (The volume.)
Behounek L.: Formal semantics for fuzzy yes-no questions (extended abstract). In F. Hakl (ed.): Doktorandsky den '04, pp. 0-6 (sic!). ICS AS CR & Matfyzpress, Prague 2004, ISBN 80-86732-30-4. (The volume.)
Behounek L.: Axiomatic set theory over Gödel logic - a short overview (extended abstract). In R. Mesiar and P. Struk (eds.): Uncertainty Modelling 2003, STU Bratislava 2003.
Behounek L.: Dimitrov-Hodge: Social Fuzziology (a review of the book). Neural Network World 14 (2004), 2, 201-203.
Behounek L.: Logica 2002 - zprava o konferenci (a conference report, Czech). Filosoficky casopis 51 (2003), 1, 166-168.
Behounek L.: Logica 2001 - zprava o konferenci (a conference report, Czech). Filosoficky casopis 50 (2002), 2, 339-342.

Translations

G. Kreisel: Informal Rigour and Completeness Proofs; A. Prior: The Runabout Inference-Ticket; N. Belnap: Tonk, Plonk and Plink; A. Prior: Conjunction and Contonktion Revisited. Czech translation, in J. Peregrin (ed.): Logika XX. stoleti: mezi matematikou a filosofii (Czech, "Logic in the XX Century: Between Mathematics and Philosophy"), Filosofia, Prague 2006.

Selected presentations

(You can ask me for slides from other presentations by email.)

Behounek L.: Formal Calculi of Fuzzy Relations. Tutorial, 2nd European Summer School on Fuzzy Logic and Applications (SFLA 2016). Celadna, Czech Republic, 16 Aug 2016. Revised version (63 slides, PDF ca 600 KB.)
Behounek L., Hajek P.: Fuzzy Logics among Substructural Logics. Tutorial, 2nd World School on Universal Logic (UniLog'07). Xian, China, 19 Aug 2007. Revised version (108 slides, PDF ca 600 KB.)
Behounek L., Cintula P.: The Apparatus of Fuzzy Class Theory. Plenary lecture, 8th Int. Conf. on Fuzzy Set Theory and Applications (FSTA'07). Liptovsky Jan, Slovakia, 31 Jan 2006. (44 slides, PDF ca 100 KB.)

Unpublished

Behounek L.: Logical Foundations of Fuzzy Mathematics. PhD thesis, Charles University in Prague, Faculty of Arts, 2009. (EN+CS abstract, Summary, Cover study.) Awarded the Antonin Svoboda Prize of the Czech Society for Cybernetics and Informatics for the best PhD thesis in computer science defended in Czechia in 2009 (Czech web presentation for the competition.)
Logika otazek (Czech, "The Logic of Questions"). An introductory survey for the Czech general public. Word.
Teorie mnozin v Gödelove logice (Czech, "Set Theory over Gödel Logic"). Master Thesis (supervisor K. Bendova), 2002, Czech. Word (zip).
Pure Nomic (Czech). A few tractates on the self-amending game, 2001. See the page on Games at this site.
Ordinal Calculator. A draft note and a program, 1995/1999. HTML.
Nezavislost axiomu ve dvou axiomatikach teorie konecnych mnozin (Czech, "Independence of the Axioms of Two Axiomatics for Finite Set Theory"). An equivalent to a B.A. Thesis (supervisor: A. Sochor), 1998. PDF.

Editing

Special issues

Special issue of the Logic Journal of the IGPL 21 (1): 1-125 (2013) on Non-Classical Mathematics, guest-edited by Giovanni Sambin, Greg Restall, and myself. (List of papers and Editorial.)
Special issue of Studia Logica 90 (3): 287-453 (2008) on Vagueness, guest-edited by Rosanna Keefe and myself. (The special issue on JSTOR.)
Special issue of Fuzzy Sets and Systems 159 (14): 1727-1835 (2008), 160 (8): 1003-1053 (2009) on Formal methods for fuzzy mathematics, approximation and reasoning - Part I, II, containing papers from two special seesions of FSTA 2006, guest-edited by Vilem Novak, Irina Perfilieva, Petr Cintula, and myself. (Part I, Part II at the publisher's site.)

Edited volumes

Behounek, L., Bilkova, M. (eds.): Logica Yearbook 2004. Filosofia, Prague 2005. (The volume of papers delivered at the 18-th Logica conference.)
Behounek, L. (ed.): Logica Yearbook 2003. Filosofia, Prague 2004. (The volume of papers delivered at the 17-th Logica conference.)

Teaching

Current courses

Mathematical logic and set theory: Taught jointly with Martina Dankova at the University of Ostrava in the winter term of 2023/2024

Planned courses

Non-classical logics: Planned to be taught jointly with Antonin Dvorak at the University of Ostrava in the summer term of 2023/2024 (the language of instruction is Czech)

Past courses

At the University of Ostrava, Faculty of Science:
- Mathematical logic and set theory (since 2017 taught jointly with Martina Dankova; in 2013–2016 taught jointly with Antonin Dvorak and Petra Murinova)
- Mathematical logic (2013–2016; in 2013–2014 taught jointly with Antonin Dvorak)
- Ordered algebraic structures (2013–2016, taught jointly by Irina Perfilieva, Michal Holcapek, Martin Dyba, and myself; my part covered Boolean algebras)
- Fuzzy logic (2017, taught jointly with Antonin Dvorak and Petra Murinova; my part covered the logics of continuous t-norms)
At the University of Ostrava, Faculty of Arts:
- Non-classical logics (since 2022; taught jointly with Antonin Dvorak)
At the Vienna University of Technology, Faculty of Informatics:
- Advanced mathematical logic (2011, 2013)
At Charles University in Prague, Faculty of Arts:
- Category theory (2005 to 2013: several intermittent runs of a series of two courses for the students of Logic)
- Formal fuzzy logic (2006 and 2010; in 2010 called Mathematical Fuzzy Logic and taught jointly with Petr Cintula and Rostislav Horcik; the course covered zeroth- to higher-order fuzzy logic in the broader context of substructural logics and algebraic semantics)
- Non-classical logics (2003/2004; two blocks of 3+5 lectures within Marta Bilkova's course, on many-valued logics and interpreted modal logics)
- Logic-related topics (2003; a block of 3 lectures on the logic of questions within Petr Jirku's course)

Thesis supervision

Monika Raskova: Mnozinove pojmy v trojhodnotove Lukasiewiczove logice (Czech, Set-theoretic concepts in Lukasiewicz three-valued logic). Master thesis in Didactics of Mathematics at the Faculty of Science, University of Ostrava, defended 2016.
Ondrej Luhan: Systems of morphisms over Goedel fuzzy logic. Master thesis in Logic at the Faculty of Philosophy and Arts, Charles University in Prague, defended 2014.
Nelly Vostra: Fuzzifikace jednoduchych systemu deonticke logiky (Czech, Fuzzification of simple systems of deontic logic). Master thesis in Logic at the Faculty of Philosophy and Arts, Charles University in Prague, defended 2006.
Petr Revay: Formalizace relace odvoditelnosti pro vyrokove fuzzy logiky (Czech, Formalization of the deducibility relation of propositional fuzzy logics). Bc thesis in Logic at the Faculty of Philosophy and Arts, Charles University in Prague, defended 2016.
Ondrej Luhan: Categories of fuzzy sets. Bc thesis in Logic at the Faculty of Philosophy and Arts, Charles University in Prague, defended 2009.

Curriculum Vitae

2012--: University of Ostrava, Institute for Research and Applications of Fuzzy Modeling: researcher 2015--, postdoctoral fellow 2012-2015
2011-2012: Vienna University of Technology, Faculty of Mathematics and Geoinformation (2011-2012) and Faculty of Informatics (2012): postdoctoral project assistant
2003-2015: Academy of Sciences of the Czech Republic, Institute of Computer Science: full-time researcher 2009-2012, part-time researcher 2012-2015, full-time graduate student researcher 2005-2009, part-time graduate student researcher 2003-2004
1996-2009: Charles University in Prague, Faculty of Philosophy and Arts: PhD in Logic (2009, advisors: Petr Jirku and Petr Hajek); master's degree (2002, summa cum laude) in Logic (major) and Computational Linguistics (minor)

For more details, see my full CV here (PDF).

Trivia

My Hirsch index (as of 2023) is h = 10 by WoS (h = 9 by Scopus).
My Erdös number is (at most) E = 4, e.g. via Hajek - Paris - Kunen.

Libor Behounek - Logic