Hello!
I am a researcher at
- Department of Theoretical Computer Science
- Institute of Computer Science
- Czech Academy of Sciences
Research interests
- Mathematical logic, substructural logics, algebraic methods in proof theory
- Universal algebra, residuated lattices
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
