texty Pavla Tichého
    1. tichy-abil:
	Graham Oddie and Pavel Tichý
	The Logic of Ability, Freedom and Responsibility
	Studia Logica, XLI, 2/3, 1982

    2. tichy-abil-abstract:
	Graham Oddie and Pavel Tichý
	Abstract of The Logic of Ability, Freedom and Responsibility

    3. tichy-ananl:
	Pavel Tichý
	The Analysis of Natural Language
	
	note: This article contains contents, foreword and the first chapter of,
	unfortunately, unfinished book, dealing with analysis of natural language.

    4. tichy-approach:
	Pavel Tichý
	An Approach to Intensional Analysis
	Nous, Volume 5, Issue 3 (Sep 1971), pp. 273-297

    5. tichy-bib:
	Pavel Materna
	A Radical Challenge
	From the Logical Point of View
	bibliografie a curriculum vitae Pavla Tichého
	Institute of Phylosophy, Prague, 1996

    6. tichy-circle:
	Pavel Tichý
	On the Vicious Circle in Definitions
	Studia Logica, Tom XXVIII, 1971

    7. tichy-constr:
	Pavel Tichý
	Constructions
	Philosophy of Science, 53 (1986), pp. 514-534

    8. tichy-constr-matter:
	Pavel Tichý
	Constructions as the Subject Matter of Mathematics
	The Foundational Debate, pp.  175-185, 1995, Kluwer Academic Publisher, Netherlands
	W. DePauli-Schimanovich et al. (eds.)

    9. tichy-crack:
	Pavel Tichý
	Cracking the Natural Language Code
	From the Logical Point of View, 2/94

    10. tichy-dr:
	Pavel Tichý
	De Dicto and De Re
	Philosphia - Philosphical Quaterly of Israel
	pp. 1-16, vol. 8, 1978
	Bar-Ilan University

    11. tichy-einzeldinge:
	Pavel Tichý
	Einzeldinge als Amtsinhaber
	Zeitschrift für Semiotik, Band 9, Heft 1-2 (1987), pp. 13-50, Stauffenburg Verlag Tübingen
	Die Überlegungen von Bretano, Meinong, Frege und Russell zu einer transparenten intensionalen Semantik

    12. tichy-epis:
	Pavel Tichý
	The Semantics of Episodic Verbs
	Verlag Walter de Gruyter & Co., 1981

    13. tichy-existence:
	Pavel Tichý
	Existence and God
	The Journal of Philosophy, vol. LXXVI, No. 8, August 1979

    14. tichy-frege:
	Pavel Tichý
	Frege and the Case of the Missing Sense
	Grazer Philosophische Studien, 1986

    15. tichy-indis:
	Pavel Tichý
	Indiscernibility of Identicals
	pp. 251-273

    16. tichy-int-sem:
	Pavel Tichý
	Do We Need Interval Semantics?
	Linguistics and Philosophy, 8, pp. 263-282, 1985

    17. tichy-inten:
	Pavel Tichý
	Intension in Terms of Turing Machines
	Studia Logica, Tom XXIV, 1969

    18. tichy-kripke:
	Pavel Tichý
	Kripke on Necessity a posteriori
	Philosophical Studies 43 (1983), pp. 225-241

    19. tichy-part:
	Pavel Tichý
	Foundations of Partial Type Theory
	Reports on Mathematical Logic
	University of Otago, Dunedin, New Zealand, 1982

    20. tichy-part-abstract:
	Pavel Tichý
	Abstract of Foundations of Partial Type Theory

    21. tichy-plantinga:
	Pavel Tichý
	Plantinga on Essence: A Few Questions
	The Philosophical Review, vol. 81, issue 1 (Jan 1972), pp. 82-93

    22. tichy-questions:
	Pavel Tichý
	Questions, Answers, and Logic
	American Philosophical Quarterly, vol. 15, No. 4, October 1978

    23. tichy-smysl:
	Pavel Tichý
	Smysl a procedura

    24. tichy-synth:
	Pavel Tichý
	Synthetic Components of Infinite Classes of Postulates
	Arch. math. Logik 14 (1971), pp. 167-178
	

    25. tichy-temp:
	Pavel Tichý
	The Logic of Temporal Discourse
	Linguistics and Philosophy 3 (1980), pp. 343-369

    26. tichy-temp-comment:
	Pavel Tichý
	The Logic of Temporal Discourse
	Linguistics and Philosophy 3 (1980) 343-369
	verze s českými komentáři Leo Hadacze

    27. tichy-traktat:
	Pavel Tichý
	Traktát ve světle intenzionální logiky
	Filozofický časopis, ročník 47, číslo 2, 1999
	původní přednáška: Le Tractatus a la lumiere de la logique intensionelle
	anglický originál: The Tractatus in the Light of Intensional Logic, From the
	Logical Point of View, III, No. 2, pp. 32-41
	

    28. tichy-transiency:
	Pavel Tichý
	The Transiency of Truth
	Theoria, A Swedish Journal of Philosophy, Vol. XLVI (1980) Part 2-3

    29. tichy-what-talk:
	Pavel Tichý
	What Do We Talk About?
	received April 1971

    
ostatní texty o TILu a jeho využití
    1. chrz-clanek:
	Tomáš Chrz
	A System for Knowledge Representation Based on Intensional Logic
	Computers and Artificial Intelligence, 3 (1984), pp. 193-209

    2. chrz-diser:
	Tomáš Chrz
	Reprezentace znalostí při komunikaci člověk - stroj
	    (aplikace transparentní intenzionální logiky při reprezentaci
	    znalostí)
	kandidátská disertační práce (přílohy)
	Praha, únor 1984

    3. cihanek:
	Petr Čihánek
	Sématická analýza přirozeného jazyka
	diplomová práce
	Brno, 1976

    4. duzi-hit:
	Marie Duží
	Konceptuální datové modelování - datový model HIT
	skripta Slezská univerzita v Opavě
	Opava, duben 2000

    5. kouk-auref:
	Jitka Koukolíková
	Autoreferát kandidátské disertační práce
	Fakulta elektrotechnická, České vysoké učení technické
	Praha, únor 1988

    6. kouk-clanek:
	Jitka Koukolíková
	Temporal Discourse: TIL and Recursive Principle
	Czech Technical University, Faculty of Electrical Engineering,
	Dept. of Computers

    7. kouk-diser:
	Jitka Koukolíková
	Temporální transparentní intenzionální logika v analýze přirozeného
	    jazyka
	disertační práce
	Praha, únor 1988

    8. montgram:
	J. Groenendijk a M. Stokhof
	Dynamic Montague Grammar
	ITLI/Department of Philosphy
	Department of Computational Linguistics
	University of Amsterdam
	

    9. muller-navrh:
	Jaroslav Müller
	Návrh bodů inferenčního algoritmu pro TIL
	zápisky pro schůzku 10.3.2006 na FI MU Brno

    10. peregrin:
	Dokument peregrin

    11. til-typy:
	Návrh typů pro slovník