@inproceedings{cintulanoguera2009,
	title     = {First-order (semilinear) implicational logics},
	author    = {Petr Cintula and Carles Noguera},
	year      = {2009},
	pages     = {1--4},
	publisher = {University of Amsterdam},
	booktitle = {Proceedings of TACL 2009},
	note      = {Abstract},
	state     = {published},
	acknowledged= {1},
	talk      = {1}
}