Varieties generated by BL-algebras, submitted, 2011.
Expanding Basic Fuzzy Logic with truth constants for component delimiters, to appear in Fuzzy Sets and Systems, 2011, link.
Interpreting Lattice-Valued Set Theory in Fuzzy Set Theory (with Petr Hájek), submitted, 2010.
Distinguishing standard SBL-algebras with involutive negations by propositional formulas (with Petr Savický), MLQ 54(6), pp. 578-596, 2008, link.
Complexity Issues in Basic Logic (with Stefano Aguzzoli and Brunella Gerla). Soft Computing 9, pp. 919-934, 2005.
Mathematical and Metamathematical Properties of Fuzzy Logic, PhD Thesis, Charles University in Prague, 2004.
On the complexity of propositional logics with an involutive negation, Third Conference of the EUSFLAT, Zittau, September 2003.
A Development of set theory in fuzzy logic (with Petr Hajek). Beyond Two: Theory and Applications of Multiple-Valued Logic (Ed.: Fitting M., Orlowska E.) -- Heidelberg, Physica-Verlag 2003, pp. 273-285.
A note on the complexity of tautologies of individual t-algebras, Neural Network World, vol. 12, n. 5 (Special Issue on SOFSEM 2002).
A set theory within fuzzy logic (with Petr Hajek). Multiple-Valued Logic. Proceedings. -- Los Alamitos, IEEE Computer Society 2001, pp. 319-323.
Standard algebras for fuzzy propositional calculi, Fuzzy Sets and Systems, vol. 124, n.3 (2001).
Axiomatizations of standard algebras for fuzzy propositional calculi by use of truth constants. Journal of Electrical Engineering, vol. 51 (2000).