Hello!

I am a researcher at

Research interests

  • Mathematical logic, substructural logics, algebraic methods in proof theory
  • Universal algebra, residuated lattices
My photo

Contact

  • Pod Vodárenskou věží 271/2
  • 182 07 Prague 8
  • Czech Republic
  • Phone: +420 26605 3911
  • Fax: + 420 28658 5789
  • E-mail: horcik@cs.cas.cz