Libor Behounek - Logic

Libor Behounek - Logic

A special issue of the Logic Journal of the IGPL on Non-Classical Mathematics is being prepared (the submitted papers are being peer-reviewed). Follow the link for the call for papers.

Follow the links to projects and working groups in which I participate:

Follow this link for more info about me.


Affiliation & Support

Affiliation

Academic functions

Support

Membership in professional organizations


Research Interests

I participate in a project on Foundations of Fuzzy Mathematics and a working group in Mathematical Fuzzy Logic (follow the links for more info and papers).


Papers

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

Published

Journal papers

Papers in conference proceedings and edited volumes

Minor publications

Translations

Submitted / To Appear

Selected presentations

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

Unpublished


Editing

Special issues

Edited volumes


Teaching

Current courses

2011/12 WT: Advanced mathematical logic
A semestral course at the Faculty of Informatics, Vienna University of Technology

Planned courses

2011/12 ST: Category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague

Past courses

2009/10 ST: Mathematical fuzzy logic
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague, with P. Cintula and R. Horcik
2009/10 ST: Logic from the point of view of category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2009/10 WT: Category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2007/8 ST: Logic from the point of view of category theory
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2007/8 WT: Category theory from the point of view of logic
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2006/7 WT: Formal fuzzy logic
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2005/6 WT: Category theory from the point of view of logic
A semestral course at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2003/4 WT+ST: Many-valued and applied modal logics
Two blocks of 3+5 lectures within Marta Bilkova's course Nonclassical Logics at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague
2002/3 ST: Logic of Questions
A block of 3 lectures within Petr Jirku's course Logic-Related Topics at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague

Thesis supervision


Curriculum Vitae

2003-
Researcher at the Institute of Computer Science of the Academy of Sciences of the Czech Republic (full-time researcher since 2010, full-time graduate student researcher 2005-2009, part-time graduate student researcher 2003-2004).
2011-(expected: 2012)
Postdoctoral project assistant the the Department of Discrete Mathematics and Geometry, Faculty of Mathematics and Geoinformatics, Vienna University of Technology.
2002-2009
PhD in Logic at the Department of Logic, Faculty of Philosophy and Arts, Charles University in Prague (advisors Petr Jirku and Petr Hajek).
1996-2002
Master's degree summa cum laude in Logic at the Department of Logic (and Computational Linguistics as the minor subject at the Institute of Theoretical and Computational Linguistics), Faculty of Philosophy and Arts, Charles University in Prague.

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

Trivia

My Hirsch index (by Scopus, excluding self-citations) is h = 5, after 7 years of publication activity.
My Erdös number is (at most) E = 5, e.g. via Cintula - Hajek - Paris - Kunen.