| 2008 |
|---|
| 7 | EE | Emil Jerábek:
Independent Bases of Admissible Rules.
Logic Journal of the IGPL 16(3): 249-267 (2008) |
| 2007 |
|---|
| 6 | EE | Emil Jerábek:
Complexity of admissible rules.
Arch. Math. Log. 46(2): 73-92 (2007) |
| 5 | EE | Emil Jerábek:
On Independence of Variants of the Weak Pigeonhole Principle.
J. Log. Comput. 17(3): 587-604 (2007) |
| 2006 |
|---|
| 4 | EE | Emil Jerábek:
Frege systems for extensible modal logics.
Ann. Pure Appl. Logic 142(1-3): 366-379 (2006) |
| 3 | EE | Emil Jerábek:
The strength of sharply bounded induction.
Math. Log. Q. 52(6): 613-624 (2006) |
| 2005 |
|---|
| 2 | EE | Emil Jerábek:
Admissible Rules of Modal Logics.
J. Log. Comput. 15(4): 411-431 (2005) |
| 2004 |
|---|
| 1 | EE | Emil Jerábek:
Dual weak pigeonhole principle, Boolean complexity, and derandomization.
Ann. Pure Appl. Logic 129(1-3): 1-37 (2004) |
