Welcome to the web page of Pavel Hrubes

[photo] Address:
Institute of Mathematics, AS CR
Zitna 25
115 67 Praha 1
Czech Republic
e-mail: hrubes at math.cas.cz, pahrubes at centrum.cz

Publications and drafts

  • Some problems concerning lengths of proofs, Ph.D. thesis. [PDF]
  • On lengths of proofs in non-classical logics, to appear. [PDF]
  • Kreisel's conjecture with minimality principle, to appear. [PDF]
  • A lower bound for intuitionistic logic, APAL, 146:72-90. [PDF]
  • Lower bounds for modal logics, JSL, 72,3: 941-958. [PDF]
  • Theories very close to PA where Kreisel's conjecture is false, JSL 72, vol.1 (2007), no. 6, pp.123 - 137. [PS]
  • A propositional proof system with a non trivial upper bound on lengths of proofs, not to appear; the same result had been obtained by Matthias Baaz. [PDF]
  • On hierarchies of universal predicates, ArXive. [PDF]