| |
| 2005 | ||
|---|---|---|
| 8 | EE | Witold A. Pogorzelski, Piotr Wojtylak: A Proof System for Classical Logic. Studia Logica 80(1): 95-104 (2005) |
| 2004 | ||
| 7 | EE | Piotr Wojtylak: On a Problem of H. Friedman and its Solution by T. Prucnal. Reports on Mathematical Logic 38: 69-86 (2004) |
| 2001 | ||
| 6 | EE | Piotr Wojtylak, Andrzej Wronski: On the Problem of R. E. Tax. Reports on Mathematical Logic 35: 87-101 (2001) |
| 5 | Witold A. Pogorzelski, Piotr Wojtylak: Cn-Definitions of Propositional Connectives. Studia Logica 67(1): 1-26 (2001) | |
| 1997 | ||
| 4 | EE | Joanna Grygiel, Piotr Wojtylak: The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices. Reports on Mathematical Logic 31: 93-102 (1997) |
| 1995 | ||
| 3 | EE | Jerzy Kotas, Piotr Wojtylak: Finite Distributive Lattices as Sums of Boolean Algebras. Reports on Mathematical Logic 29: 35-40 (1995) |
| 1991 | ||
| 2 | EE | Adam Kolany, Piotr Wojtylak: Restricted Versions of the Compactness Theorem. Reports on Mathematical Logic 25: (1991) |
| 1989 | ||
| 1 | Piotr Wojtylak: Independent Axiomatizability of Sets of Sentences. Ann. Pure Appl. Logic 44(3): 259-299 (1989) | |
| 1 | Joanna Grygiel | [4] |
| 2 | Adam Kolany | [2] |
| 3 | Jerzy Kotas | [3] |
| 4 | Witold A. Pogorzelski | [5] [8] |
| 5 | Andrzej Wronski | [6] |