I am a researcher at the Department of Theoretical Computer Science.
My infocard at the ICS. I work in mathematical logic, theoretical computer science, and history and philosophy of logic.
Postal address: Institute of Computer Science, 182 07 Prague, Czechia.

News.
Publications.
Journal papers
Rational Pavelka logic: the best among three worlds? Fuzzy sets and systems 456, 92106, 2023.
Published version.
Structural completeness in manyvalued logics with rational constants (with
Joan Gispert,
Tommaso Moraschini, and
Michal Stronkowski). Notre Dame Journal of Formal Logic 63 (3), 261299, 2022.
Published version.
Vopěnkova Alternativní teorie množin v matematickém kánonu 20. století, Filosofický časopis 70(3), 485504, 2022.
Open access. English translation [Vopěnka's Alternative Set Theory in the canon of 20th century mathematics] available on the ArXiv.
Implicit definability of truth constants in Łukasiewicz logic,
Soft Computing 23(7), 22792287, 2019. Published version.
Complexity of some language fragments of fuzzy
logics,
Soft Computing 21(1), 6977, 2017.
Published version.
Term satisfiability in
FLewalgebras,
Theoretical Computer Science 31, 115, 2016 (with
Petr Savický).
Published version.
The Finite Embeddability Property for Residuated Groupoids (with Rostislav Horčík).
Algebra Universalis 72(1), 113, 2014.
Published version.
Varieties
generated by standard BLalgebras, Order 31(1), 1533, 2014.
Published version.
Expanding
Basic Fuzzy Logic with truth constants for component delimiters,
Fuzzy Sets and Systems 197, pp. 95107, 2011. Published version.
Interpreting
LatticeValued Set Theory in Fuzzy Set Theory (with Petr Hájek),
Logic Journal of the IGPL 21(1), 7790, 2013.
Published version.
Distinguishing standard SBLalgebras with involutive negations by
propositional formulas (with Petr Savický), Math. Logic Quarterly 54(6), pp. 578596, 2008.
Published version.
Complexity Issues in Basic Logic (with Stefano Aguzzoli
and Brunella Gerla).
Soft Computing 9, pp. 919934, 2005. Published version.
A note on the
complexity of tautologies of individual talgebras, Neural Network
World, vol. 12, n. 5 (Special Issue on SOFSEM 2002).
Standard
algebras for fuzzy propositional calculi, Fuzzy Sets and Systems, vol.
124, n.3 (2001). Published version.
Axiomatizations
of standard algebras for fuzzy propositional calculi by use of truth constants.
Journal of Electrical Engineering, vol. 51 (2000).
Conference proceedings
The MaxSAT Problem in the RealValued MValgebra
(with Felip Manyà and
Amanda Vidal). TABLEAUX 2023.
On the
complexity of validity degrees in Łukasiewicz logic,
Computability in Europe (CiE) 2020, Fisciano, June 2020.
Published version (Springer LNCS).
On the
complexity of propositional logics with an involutive negation,
Third Conference of the EUSFLAT, Zittau, September 2003.
A set theory
within fuzzy logic (with Petr
Hájek). MultipleValued Logic. Proceedings.  Los Alamitos, IEEE Computer
Society 2001, pp. 319323.
Edited book
Witnessed Years. Essays in Honour of Petr Hájek. (with Petr Cintula
and Vítězslav Švejdar). College Publications, London, 2010.
Bookchapters
Set theory and arithmetic in fuzzy
logic (with Libor Běhounek), in Petr Hájek on Mathematical
Fuzzy Logic, Volume 6 of Outstanding Contributions to Logic, 6389, 2015.
Published version.
Petr Hájek: a scientific
biography,
in Petr Hájek on Mathematical
Fuzzy Logic, Volume 6 of Outstanding Contributions to Logic, 6389, 2015.
Published version.
Computational complexity
of propositional fuzzy logics, Chapter X of Handbook of Mathematical Fuzzy Logic,
College Publications, pp. 793851, 2011.
A Development
of set theory in fuzzy logic (with Petr
Hájek). Beyond Two: Theory and Applications of MultipleValued Logic
(Ed.: Fitting M., Orlowska E.)  Heidelberg, PhysicaVerlag 2003, pp.
273285.
Theses
Mathematical and
Metamathematical Properties of Fuzzy Logic, PhD Thesis, Charles
University in Prague, 2004.
Some contributions to axiomatizations of fuzzy propositional calculi,
master thesis, Charles University in Prague, 1999.
Rozhodnutelnost Presburgerovy aritmetiky [Decidability of Presburger
Arithmetic], bachelorlevel thesis, Charles University in Prague, 1998.
Tech report
Blind proxy voting. Technical report V1250, Institute of Computer Science CAS, 2017.
Recent teaching.
Reading Modern Czech Logic. Winter Semester 2024/25, Department of Logic, Faculty of Arts, Charles University. ALGV19017.
Past courses:
Nonclassical Models of Reasoning. Summer Semester 2023/24, Department of Logic, Faculty of Arts, Charles University. ALG519025.
blocks of courses within Logic and its neighbourhood (ALG119015), Department of Logic, Faculty of Arts, Charles University. in 2020, 2022, 2024.
Recent talks and slides.
The MaxSAT problem in the realvalued MValgebra. Tableaux 2023, Prague.
I am elected member of the ="https://www.avcr.cz/cs/onas/struktura/akademickysnemavcr/">Assembly of the Czech Academy of Sciences, representing the Institute of Computer Science, for the period 20222026.
AiML 2024 and RAMiCS 2024, Prague (OC member).
Logic4Peace: fundraising online Logic event for Peace, online, April 2022 (PC member).
Topology, Algebra and Categories in Logic (TACL) 2022 (PC member).
Computability in Europe (CiE) 2021 (PC member)
16th Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019)
(PC member)
Topology, Algebra and Categories in Logic (TACL) 2017 (OC member)
Gatherings of Logicians
The series of regional meetings was initiated in 2013 and is run by a joint effort of a group of local logicians.
So far, the following meetings took place:
Czech Gatering of Logicians and Kurt Gödel Day 2024, Brno, Czech Republic.
Czech Gathering of Logicians 2023.
Czech Gathering of Logicians 2022.
Kurt Gödel Day and Czech Gathering of Logicians 2021.
Prague Gathering of Logicians 2019.
Prague Gathering of Logicians and Beauty of Logic 2018.
Prague Gathering of logicians 2017.
Prague Gathering of Logicians 2016.
Prague Gathering of Logicians 2015.
Prague Gathering of Logicians 2014
Gathering of Prague Logicians 2013.
2021 (November) Open Doors Festival of the ICS: talk on Between small and large numbers.
2018 (November) Open Doors Festival of the ICS: talk on Petr Hájek and mathematical logic in Prague.
2013 (November) Open Doors Festival of the ICS: talk on Computers as creations of the human brain.
Membership in associations.
Czech Society of Cybernetics and Informatics. I am currently member of the Council and the Scientific Council of the society.
Association CiE
MathFuzzLog
Union of Czech Mathematicians and Physicists (JČMF)
Awards.
Best paper award in the ICS CAS for the year 2022 (ICS CAS).
Otto Wichterle Award for young researchers (Academy of Sciences of the Czech Republic, 2009)