## Publications

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

### Publications in journals

- (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]

### Selected abstracts

- 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]*

### Notes

*Linearization of proofs in propositional Hilbert systems* [PDF]

### Thesis

*Undecidability of Some Substructural Logics*, Ph.D. thesis, 2015. [PDF]

email: *karel* at *chvalovsky* dot *cz*