Piotr Wojtylak

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)

Coauthor Index

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]

Colors in the list of coauthors