According to our database1, Karel Chvalovský authored at least 4 papers between 2010 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Full Lambek Calculus with Contraction is Undecidable.
J. Symb. Log., 2016
Undecidability of Consequence Relation in Full non-Associative Lambek Calculus.
J. Symb. Log., 2015
On the independence of axioms in BL and MTL.
Fuzzy Sets and Systems, 2012
Note on Deduction Theorems in Contraction-Free Logics.
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010