A deduktív elméletek kifejezési eszközeinek korlátai. In: Imre R, editor. Bizonyítás és igazság. Budapest: Gondolat Kiadó; 1990. p. 264-76.
A tudományos szemantika megalapozása. In: Imre R, editor. Bizonyítás és igazság. Budapest: Gondolat Kiadó; 1990. p. 277-86.
A logikai következmény fogalmáról. In: Imre R, editor. Bizonyítás és igazság. Budapest: Gondolat Kiadó; 1990. p. 287-306.