![]() | ![]() |
2008 | ||
---|---|---|
9 | EE | Matthias Baaz, Piotr Wojtylak: Generalizing proofs in monadic languages. Ann. Pure Appl. Logic 154(2): 71-138 (2008) |
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 | Matthias Baaz | [9] |
2 | Joanna Grygiel | [4] |
3 | Adam Kolany | [2] |
4 | Jerzy Kotas | [3] |
5 | Witold A. Pogorzelski | [5] [8] |
6 | Andrzej Wronski | [6] |