Libor Behounek - Logic
The special issue
of the Logic Journal of the IGPL
on Non-Classical Mathematics, edited by G. Sambin, G. Restall, and myself,
has been printed.
Follow the links to projects and working groups in which I participate:
Follow this link for more
info about me.
Affiliation & Support
Affiliation
Academic service
Support
- Project CZ.1.07/2.3.00/30.0010 Strengthening research teams at the University of Ostrava
of the European Regional Development Fund
(2012-2015, fellowship holder)
- Research grant P202/10/1826 Mathematical fuzzy logic in computer science
of the Czech Science Foundation
(2010-2014, team member)
- Research grant P402/12/1309 A multivalued approach to optima and equilibria in economics
of the Czech Science Foundation
(2012-2014, team member)
Membership in professional organizations
- 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
- MathFuzzLog,
a working group of EUSFLAT, since 2007
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.: Graded properties of unary and binary fuzzy connectives.
Fuzzy Sets and Systems,
202: 1-41 (2012).
(Paper online,
preprint.)
- 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., Cintula P., Hájek P.:
Introduction to mathematical fuzzy logic.
In P. Cintula, P. Hájek, C. Noguera (eds.):
Handbook of Mathematical Fuzzy Logic,
pp. 1-101, College Publications, 2011.
(Volume webpage,
the chapter.)
- 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.: 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, 2003.
(The volume.)
- Behounek L.:
Comments on "Fuzzy logic and higher-order vagueness" by Nicholas J.J. Smith.
In Cintula P., Fermueller Ch., Godo Ll., Hájek 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. 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.:
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.: Maxima and minima in fuzzified linear orderings.
Submitted.
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
- 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
(see the call for papers).
- 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.
Edited volumes
Teaching
Current courses
- 2012/13 ST: Category theory
-
A semestral course at the
Department of Logic,
Faculty of Philosophy and Arts,
Charles University in Prague
- 2012/13 ST: Mathematical logic
-
A semestral course
(taught jointly with Antonin Dvorak)
at the
Department of Mathematics,
Faculty of Science,
University of Ostrava
- 2012/13 ST: Logic and set theory
-
A semestral course (taught jointly with
Antonin Dvorak and
Petra Murinova)
at the
Department of Mathematics,
Faculty of Science,
University of Ostrava
Past courses
- 2011/12 WT: Advanced mathematical logic
-
A semestral course at the Faculty of Informatics,
Vienna University of Technology
- 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
(part-time researcher since 2013, full-time researcher 2010-12, full-time graduate student researcher 2005-2009, part-time graduate student researcher 2003-2004).
- 2011-2012
- Postdoctoral fellow at the
Institute for Research and Applications of Fuzzy Modeling,
University of Ostrava
- 2011-2012
-
Postdoctoral project assistant at
Vienna University of Technology,
Faculty of Mathematics and Geoinformation (2011-2012)
and Faculty of Informatics (2012)
- 2002-2009
-
PhD in Logic at the
Charles University in Prague,
Faculty of Philosophy and Arts,
Department of Logic
(advisors Petr Jirku and
Petr Hajek).
- 1996-2002
-
Master's degree summa cum laude in Logic
at the Department of Logic
and Computational Linguistics (minor)
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 = 6,
after 9 years of publication activity.
My Erdös number is (at most)
E = 5, e.g. via
Cintula -
Hajek -
Paris -
Kunen.