1

On Independence of Variants of the Weak Pigeonhole Principle

E-Article
2

The complexity of admissible rules of Lukasiewicz logic

E-Article
3

Proof Complexity of the Cut-free Calculus of Structures

E-Article
4

Admissible Rules of Lukasiewicz Logic

E-Article
5

Bases of Admissible Rules of Lukasiewicz Logic

E-Article