I am a researcher at the Department of Theoretical Computer Science.
My infocard here at the Institute. I work in nonclassical logic, mainly
Postal address: Institute of Computer Science, 182 07 Prague, Czechia.

My research is mostly in the algebraic semantics of nonclassical logics, showcasing problems and perspectives that are best viewed from the nonclassical setting. Nevertheless, the tools that are used to study such problems are quite standard, coming from the toolkits of algebra, model theory, and computational complexity theory.
I am also interested in selected chapters of the recent history of Czech logic. This is in keeping with my general interest in nonclassical logics and mathematics, since some nonclassical systems (e.g., mathematical fuzzy logic, as defined by Petr Hájek, or Vopěnka's alternative set theory) were developed in Prague at various times in the recent past.
Publications and talks.
Journal papers
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:
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.
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], bachelor thesis, Charles University in Prague, 1998.
Edited volume:
Witnessed Years. Essays in Honour of Petr Hájek. (with Petr Cintula
and Vítězslav Švejdar). College Publications, London, 2010.
Tech report:
Blind proxy voting. Technical report V1250, Institute of Computer Science CAS, 2017.
Popularization
Pražské setkání logiků 2014. [Prague Gathering of Logicians 2014] (conference report, in Czech).
Some talks and presentations.
Structural completeness and extensions of
fuzzy logics with rational constants. Nonclassical logic webinar, Denver, October 9, 2020.
On the
complexity of validity degrees in Łukasiewicz logic, Computability in Europe 2020, Fisciano, JuneJuly 2020.
On Vopěnka's ultrafinitism. CLMPST 2019, Prague.
Computing the validity degree in Łukasiewicz logic. TACL 2019, Nice.
Structural completeness in MV and product algebras with truth constants.
WARU 2019, Prague.
Algorithmic problems in Łukasiewicz logic.
Prague Gathering of Logicians 2019, Prague.
Fragments of the universal theory of algebraic structures  polynomial reductions. AsubL Take 6, Cagliari, Italy, 2018.
Remarks on Łukasiewicz logic with truth constants. ManyVal 2017, Toulouse, France, 2017.
On language fragments of propositional fuzzy logics. Logic Colloquium 2015, Helsinki, Finland, 2015.
Term satisfiability in FLewalgebras. 3rd annual meeting of CEITI, Prague, Czech Republic, 2014.
On satisfiability of terms in FLewalgebras. LATD 2014, Vienna, Austria, 2014.
Set theories in manyvalued logics. Seminar on alternative set theories, Amsterdam, 2013.
On varieties given by standard BLalgebras. Logic Colloquium 2012, Manchester, United Kingdom.
Complexity in basic logic.
Workshop on nonclassical logics, Vienna, Austria, 2011.
On varieties generated by standard BLalgebras.
Topology, Algebra, and Categories in Logic, Marseille, France, 2011.
On logics with truth constants for delimiting idempotents.
Logic, Algebra and Truth Degrees, Prague, Czech Republic, 2010.
Set theory in fuzzy logic,
CzechJapan Joint Fuzzy Logic Workshop, Hakusan, Japan, 2009.
A ZFlike theory in fuzzy logic,
Nonclassical mathematics, Hejnice, Czech Republic, 2009.
On standard SBLalgebras with added involutive negations,
Logic Colloquium 2008, Bern, Switzerland.
Standard product algebra with involutive negations. Ordered Structures in ManyValued Logic, Massa Lubrense, Sorrento, Italy, 2006.
Common complexity features of manyvalued propositional logics. Colloquium talk at IIIA CSIC, Barcelona, 2005.
A set theory in fuzzy logic, Beauty of Logic, Prague, Czech Republic, 2005.
Complexity of propositional fuzzy logics with an involutive negation. EUSFLAT 2003, Zittau, Germany, 2003.
Computational complexity of some manyvalued propositional calculi. Logic Colloquium 2003, Helsinki, Finland, 2003.
On the complexity of propositional tautologies of individual talgebras.
Workshop on Soft Computing (SOFSEM 2002), Milovy, Czech Republic, 2002.
Developing a set theory in fuzzy logic, Logic of Soft Computing, Gargnano, Italy, 2001.
A contribution on set theory in fuzzy logic. Logic Colloquium 2001, Vienna, Austria, 2001.
A contribution on tnorm based logic. Logic Colloquium 2000, Paris, France, 2000.
Axiomatizing standard algebras for fuzzy propositional calculus by use of truth constants, SCAM, Bratislava, Slovakia, 2000.
Algebras for fuzzy propositional calculi. Colloquium talk at Department of Computer Science, University of Milan, Italy, 2000.
Standard algebras for fuzzy propositional calculus, FSTA 2000, Liptovský Ján, Slovakia, 2000.
Membership in associations.
Association CiE
MathFuzzLog
Union of Czech Mathematicians and Physicists (JČMF)
Awards.
Otto Wichterle Award for young researchers (Academy of Sciences of the Czech Republic, 2009)