Publications

"Work is the greatest thing in the world, so we should always save some of it for tomorrow." (Don Herold)

(with R. Horčík) Full Lambek Calculus with Contraction is Undecidable, Journal of Symbolic Logic 81 (2016), no. 2, pp. 524–540. [PDF], [DOI]
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus, Journal of Symbolic Logic 80 (2015), no. 2, pp. 567–586. [PDF], [DOI]
Note on D-completeness and prelinearity, Bulletin of the Section of Logic 42 (2013), no. 3–4, pp. 111–118. [PDF], [journal version]
(with P. Cintula) Note on Deduction Theorems in contraction-free logics, Mathematical Logic Quarterly 58 (2012), no. 3, pp. 236–243. [DOI], [preprint only by email]
On the Independence of Axioms in BL and MTL, Fuzzy Sets and Systems 197 (2012), pp. 123–129. [DOI], [preprint, final version by email]

Derivational complexity of {aa->bc, bb->ac, cc->ab}. WST 2009, Leipzig. [the problem was already solved by S.I.Adian, see 1 and 2]

email: karel at chvalovsky dot cz