@inproceedings{chvalovsk{\'y}2008,
	title     = {On the Independence of Axioms in BL and MTL},
	author    = {Karel Chvalovsk{\'y}},
	year      = {2008},
	editor    = {F.\ Hakl },
	pages     = {28--36},
	publisher = {{\'U}stav informatiky AV {\v C}R, v. v. i. \& MATFYZPRESS},
	address   = {{\'U}stav informatiky AV {\v C}R, v. v. i., Praha},
	booktitle = {Doktorandsk{\'e} dny '08},
	state     = {published},
	acknowledged= {1},
	talk      = {1}
}