The Normal Translation Algorithm in Transparent Intensional Logic for Czech

Declaration: I hereby declare that this submission is my own work and that, to the best of my knowledge and belief, it contains no material previously published or written by another person nor material which to a substantial extent has been accepted for the award of any other degree or diploma of the university or other institute of higher learning, except where due acknowledgement has been made in the text. Acknowledgements: I want to give thanks to my supervising professor Karel Pala for his support and feedback during my research and to professor Pavel Materna for his very valuable comments on this work. Special thanks must also go to my colleagues Pavel Smrz ̌ and Vladimı́r Kadlec for their cooperation o