@article {1146,
	title = {Explikace a dedukce: od jednoduché k rozvětvené teorii typů},
	journal = {Organon F},
	volume = {20},
	number = {2},
	year = {2013},
	pages = {37-53},
	abstract = {In the first part of the paper, I argue that explicating systems which fall under the simple theory of types are limited in explicating our conceptual scheme. Such limitation is avoided if one utilizes, instead, a ramified type theory, especially the one developed by Pavel Tichý. In the third part of the paper, I explain the role of so-called constructions and derivation systems within such a framework, elucidating how deduction demonstrates properties of objects.},
	url = {http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/37-53.pdf},
	author = {Raclavsk{\'y}, Ji{\v r}{\'\i}}
}
