1969: Identity, Equivalence and Isomorphism of Problems. Journal ofSymbolic Logic 34, 24-34.
1970: On Problems. Rozpravy ČSAV (Transactions of the Czechoslovak Academy ofSciences), Praha.
1974: Some remarks on Montague's language L0 in comparison with Tichy's language Lm . Linguistische Berichte 34.
1978: Theory of Types and Data Description. Kybernetika 14.
1979: An Intensional Approach to Questions. Kybernetik 15.
1981: Question-like and Non-question-like Imperative Sentences. Linguistics and Philosophy 4.
1981: Applying Simple Theory of Types to Data Bases. Information Systems 6 (with J.Pokorný).
1983: On Understanding and Believing. Prague Studies in Mathematical Linguistics 8.
1984: Kritische Auseinandersetzung mit der Fregeschen Kategorie des Sinnes. II.Frege Conference, Schwerin.
1984: Optional Participants in a Semantic Interpretation (Arity ofPredicates and Case Frames of Verbs). In: P.Sgall,ed.: Contributions To Functional Syntax, Semantics and Language Comprehension. J.Benjamins PC Amsterdam/Philadelphia(with P.Sgall).
1987: Redundant Answers and Topic/Focus Articultion. Linguistics and Philosophy 10 (with E.Hajičová, P.Sgall).
1988: 'Linguistic Constructions' in theTransparent Intensional Logic. In: W.Buszkowski, W.Marciszewski, J.van Benthem, eds.: Categorial Grammar (with E.Hajičová, P.Sgall).
1989: Logická analýza přirozeného jazyka [Logical Analysis of Natural Language]. Praha: Academia (with K.Pala, J.Zlatuška).
1990: Distinguishing Capability vs. Informational Capability ofAttributes. Computers and Artificial Intelligence 9 (with M.Duží).
1995: Svět pojmů a logika [The World of Concepts and Logic] Praha: Filozofie AV ČR. (second edition in 1998).
1995: Logik und Begriff. In: I.Max, W.Stelzner, eds.: Logik undMathematik, de Gruyter.
1995: The Modes of Presentation: Concepts. In: J.Hill, P.Koťátko, eds.: Karlovy Vary Studies in Reference and Meaning, Praha.
1996: Three Kinds of using the identity sign. In: B.H.Partee, P.Sgall,eds.: Discourse and Meaning. Papers in Honor of Eva Hajičová.
1997: How Many Concepts Are There? In: T.Childers, P.Kolář, Vl.Svoboda, eds.: Logica'96.
1997: Rules of Existential Quantification into 'Intensional Context'. StudiaLogica 59.
1998: Pragmatic Meaning. In: T.Childers,ed.: The Logica Yearbook 1997, Prague.
1998: Concepts and Objects. Acta Philosophica Fennica 63,Helsinki.
1999: Actuality and Possibility from the Viewpoint of TransparentIntensional Logic. In: J.Cachro, K.Kijania-Placek, eds.: 11th International
Congress of Logic, Methodology and Philosophy of Science, Volume of Abstracts, Cracow.
1999: Indirect Correspondence Theory of Truth Vindicated. In: T.Childers, ed.: The Logica Yearbook 1998, Prague.
1999: Smysl, denotace, reference. Organon F: Denotácia, referencia a význam, 9-15.
2000: Simple Concepts and Simple Expressions. In: Majer, O., ed.: The Logica Yearbook 1999, Praha, Filosofia, 245-257.
2000: Two Notions of Concept. In: Majer, O., ed.: Topics in Conceptual Analysis and Modelling, Praha, Filosofia, 13-54.
2000: Empirical Concepts. In: Majer, O., ed.: Topics in ConceptualAnalysis and Modelling, Praha, Filosofia116-125.
2000: Filozofická logika: nová cesta? Olomouc, UniverzitaPalackého (with J. Štěpán).
2001: Konceptuální pravdy (aneb může pohádka obsahovat logický spor?). Filosofický časopis 49 (3) , 425-440.
2001: Funkce a konstrukce. In: Nosek (ed.): Funkcionalismus ve vědě a filosofii. Filosofia. 52-68.
2001: Propositional Attitudes Revised. In: Majer (ed.): The Logica Yearbook 2000, 163-173, Prague: Filosofia. (with M. Duží)
2001: Logika, pravda a pluralita. In: Horák, Krob, Rivenc (eds.): Filosofie po postmoderně. Brno: Masarykova univerzita, 19-22.
2002: Intensional Logic as a Medium of Knowledge Representation and Acquisition in the HIT Conceptual Model. In: Kangassalo, Kawaguchi (eds.): 12th European-Japanese Conference on Information Modelling and Knowledge Bases. Krippen, 62-76. (with M. Duží)
2002: Are Wooden Tables Necessarily Wooden?, Acta Analytica 17, 28, 115-150. (with Jespersen, B.)
2003: Actuality and Possibility (From the Viewpoint of Transparent Intensional Logic), In: Philosophical Dimensions of Logic and Science, A. Rojszczak, J. Cachro, G. Kurczewski (eds.), Kluwer, 289-295.
2003: Is Strong Correspondence (Theory of Truth) Possible?, In: Philosophy and Logic. In Search of Polish Tradition, J. Hintikka, T. Czarnecki, K. Kijania-Placzek, T. Placek, A. Rojszczak, (eds.), Kluwer, 13-26.
2004: A Procedural Theory of Concepts and the Problem of Synthetic a priori. Korean Journal of Logic 7, 1, 1-22. (with Duzi, M.)
2004: The So-Called Myth of the Museum. Organon F 11, 3, 229-242.
2004: Conceptual Systems. Berlin: Logos Verlag.
2005: Quine's Criticism of the First Dogma of Empiricism. Logic and Logical Philosophy, 13, 5-30.
2005: Parmenides Principle (The Analysis of Aboutness), Philosophia 32, Nos 1-4 (2005), 155-180. (with Duzi, M.)
2005: Logical Form, In: G. Sica (ed.), Essays on the Foundations of Mathematics and Logic, Monza: Polimetrica International Scientific Publisher. 115-153. (with Duzi, M.)
2005: Ordinary Modalities, Logique & Analyse, 189-192, 57-70.
2006: Semantics of the Axiom (Schema) of Comprehension, In: P. Tomala, R. HonzíkThe Logica Yearbook 2006, Prague : Filosofia, 169-179.
2006-07: Points of View from a Logical Perspective (I, II), Organon F 13-14 3, 277-305, 1, 5-31 (with M. Duží and B. Jespersen).
2007: Church's Criticism of Carnap's Intensional Isomorphism from the Viewpoint of TIL. In: T. Marvan, M. ZouharSvet jazyka a svet za jazykom. Bratislava : Filozofický ústav SAV, 108-118.
2007: Once more on Analytic vs. Synthetic. Logic and Logical Philosophy 16, 1, 3-43.
2007: Properties of Mathematical Objects. (Gödel on classes, properties and concepts.), In: Meze formalizace, analytičnosti a prostoročasu. Praha: Filosofia, 71-88.
2008: Definition and Concept: Aristotelian Definition Vindicated, Studia Neoaristotelica 5, 1, 3-37.
2008: The Notion of Problem, Intuitionism and Partiality, Logic and Logica Philosophy 17, 287-303.
2009: Concepts and Recipes, Acta Analytica, 24: 69-90.
