Publications

Publications

This list is usually out of date...

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

I will update the page and include some preprints as soon as I finish them.

Publications in journals

(with P. Cintula) Note on Deduction Theorems in Contraction-Free Logics, accepted to Mathematical Logic Quarterly. [I can provide this paper only by email]
On the Independence of Axioms in BL and MTL, to appear in Fuzzy Sets and Systems, doi:10.1016/j.fss.2011.10.018, 7 pp. [DOI], [preprint, final version by email]

Selected technical reports etc.

Non-Equivalence of Some Implicational Deduction Theorems. In: Doktorandské dny 2010 Ústavu informatiky AV ČR, Heřmanice v Podještědí, pp. 49-55, 2010.
On the Independence of Axioms in BL and MTL. In: Doktorandské dny 2008 Ústavu informatiky AV ČR, Jizerka, pp. 28-36, 2008. [erratum]

Selected abstracts

Derivational complexity of {aa->bc, bb->ac, cc->ab}. [the problem was already solved by S.I.Adian]

email: karel at chvalovsky dot cz