On the Independence of Axioms in BL and MTL
CHVALOVSKÝ, Karel. On the Independence of Axioms in BL and MTL. In: HAKL, F., ed. <em>Doktorandské dny '08</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2008, S. 28-36. ISBN 978-80-7378-054-8.