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
- EUSFLAT
(European Society for Fuzzy Logic and Technology), 2005, 2007-2009;
MathFuzzLog, a working group of EUSFLAT, since 2007
- JCMF
(Union of Czech Mathematicians and Physicists), since 1990;
CMS
(Czech Mathematical Society), a branch of JCMF, since 2005
- CSKI
(Czech Society for Cybernetics and Informatics), since 2005
Research Interests
- Substructural logics and deductive fuzzy logics
- Higher-order fuzzy logic and axiomatic fuzzy set theory
- Non-classical foundations of mathematics (esp. in contraction-free substructural logics)
- Erotetic, epistemic, dynamic, and deontic logic
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
- Behounek L., Dankova M.: Relational compositions in Fuzzy Class Theory.
Fuzzy Sets and Systems 160(8): 1005-1036 (2009).
(Paper online,
preprint.)
- Behounek L., Bodenhofer U., Cintula P.: Relations in Fuzzy Class Theory: Initial steps.
Fuzzy Sets and Systems 159(14): 1729-1772 (2008).
(Paper online,
preprint.)
- Behounek L.: On the difference between traditional and deductive fuzzy logic.
Fuzzy Sets and Systems 159(10): 1153-1164 (2008).
(Paper online,
preprint,
post-publication comments.)
- Behounek, L., Cintula, P.:
From fuzzy logic to fuzzy mathematics: a methodological manifesto.
Fuzzy Sets and Systems 157(5): 642-646 (2006).
(Paper online,
preprint,
post-publication comments.)
- Behounek, L., Cintula, P.:
Fuzzy logics as the logics of chains.
Fuzzy Sets and Systems 157(5): 604-610 (2006).
(Paper online,
preprint,
post-publication comments.)
- Behounek, L., Cintula, P.: Fuzzy class theory.
Fuzzy Sets and Systems 154(1): 34-55 (2005).
(Paper online,
preprint,
post-publication comments.)
- 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.:
Fuzzy set theories with naive comprehension.
In P.&nsbp;Cintula, Sh. Ju, M. Víta (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., 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, congress website.)
- 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., 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,
2008.
(The report.)
- 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,
conference website).
- 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.
Submitted / To Appear
- Behounek L., Bodenhofer U., Cintula P., Saminger-Platz S., Sarkoci P.: Graded dominance and related graded properties of fuzzy connectives.
Submitted.
(Preprint.)
- Behounek L.: Graded properties of unary and binary fuzzy connectives.
To appear in Fuzzy Sets and Systems,
doi: 10.1016/j.fss.2011.12.020.
(Preprint.)
- Behounek L.: Feasibility as a gradual notion.
To appear in EasyChair Short Paper Proceedings of the 17th LPAR Conference, Jogjakarta, 10-15 Oct 2010.
(Preprint.)
Selected presentations
(You can ask me for slides from other presentations by email.)
- 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 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
(the version of )
- Teorie mnozin v Gödelove logice
(Czech, "Set Theory over Gödel Logic").
Master Thesis
(supervisor K. Bendova),
2002, Czech.
Download:
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.
Download:
PostScript
(zip ),
DVI.
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.