Emil Jerábek

	2009
10		Emil Jerábek: Substitution Frege and extended Frege proof systems in non-classical logics. Ann. Pure Appl. Logic 159(1-2): 1-48 (2009)
9		Emil Jerábek: Proof Complexity of the Cut-free Calculus of Structures. J. Log. Comput. 19(2): 323-339 (2009)
	2008
8		Emil Jerábek: Independent Bases of Admissible Rules. Logic Journal of the IGPL 16(3): 249-267 (2008)
	2007
7		Emil Jerábek: Complexity of admissible rules. Arch. Math. Log. 46(2): 73-92 (2007)
6		Michal Rössler, Emil Jerábek: Fragment of Nonstandard Analysis with a Finitary Consistency Proof. Bulletin of Symbolic Logic 13(1): 54-70 (2007)
5		Emil Jerábek: On Independence of Variants of the Weak Pigeonhole Principle. J. Log. Comput. 17(3): 587-604 (2007)
	2006
4		Emil Jerábek: Frege systems for extensible modal logics. Ann. Pure Appl. Logic 142(1-3): 366-379 (2006)
3		Emil Jerábek: The strength of sharply bounded induction. Math. Log. Q. 52(6): 613-624 (2006)
	2005
2		Emil Jerábek: Admissible Rules of Modal Logics. J. Log. Comput. 15(4): 411-431 (2005)
	2004
1		Emil Jerábek: Dual weak pigeonhole principle, Boolean complexity, and derandomization. Ann. Pure Appl. Logic 129(1-3): 1-37 (2004)

Coauthor Index

1

Michal Rössler

[6]