×

zbMATH — the first resource for mathematics

Wojtylak, Piotr

Compute Distance To:
Author ID: wojtylak.piotr Recent zbMATH articles by "Wojtylak, Piotr"
Published as: Wojtylak, P.; Wojtylak, Piotr
Documents Indexed: 35 Publications since 1977, including 2 Books

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 63 times in 54 Documents Cited by Year
Completeness theory for propositional logics. Zbl 1143.03001
Pogorzelski, Witold A.; Wojtylak, Piotr
9
2008
Strongly finite logics: Finite axiomatizability and the problem of supremum. Zbl 0409.03017
Wojtylak, Piotr
7
1979
Projective unification in modal logic. Zbl 1260.03041
Dzik, Wojciech; Wojtylak, Piotr
6
2012
On a problem of H. Friedman and its solution by T. Prucnal. Zbl 1053.03017
Wojtylak, Piotr
5
2004
Independent axiomatizability of sets of sentences. Zbl 0687.03015
Wojtylak, Piotr
4
1989
Elements of the theory of completeness in propositional logic. Zbl 0539.03002
Pogorzelski, Witold A.; Wojtylak, Piotr
4
1982
Matrix representations for structural strengthenings of a propositional logic. Zbl 0422.03009
Wojtylak, Piotr
4
1979
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr
3
2008
An example of a finite though finitely non-axiomatizable matrix. Zbl 0563.03011
Wojtylak, Piotr
3
1984
Modal consequence relations extending S4.3: an application of projective unification. Zbl 1403.03029
Dzik, Wojciech; Wojtylak, Piotr
2
2016
An algorithm for the number of path homomorphisms. Zbl 1182.05116
Arworn, Srichan; Wojtylak, Piotr
2
2009
Characterizations of non-singular cycles, path and trees. Zbl 1175.90074
Sookyang, S.; Arworn, S.; Wojtylak, P.
2
2008
Collapse of a class of infinite disjunctions in intuitionistic propositional logic. Zbl 0599.03024
Wojtylak, Piotr
2
1983
On structural completeness of many-valued logics. Zbl 0393.03011
Wojtylak, Piotr
2
1978
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\). Zbl 1405.03050
Dzik, Wojciech; Wojtylak, Piotr
1
2015
Characterizations of non-singular cycles and trees. Zbl 1172.05313
Sookyang, Supot; Arworn, S.; Wojtylak, P.
1
2007
On the problem of R. E. Tax. Zbl 0991.03011
Wojtylak, Piotr; Wroński, Andrzej
1
2001
\(Cn\)-definitions of propositional connectives. Zbl 0986.03012
Pogorzelski, Witold A.; Wojtylak, Piotr
1
2001
2-SAT is not equivalent to Boolean Prime Ideal Theorem. Zbl 0923.03016
Wojtylak, Piotr
1
1999
A recursive theory for the \(\{\neg,\wedge,\vee,\to,o\}\) fragment of intuitionistic logic. Zbl 0583.03014
Wojtylak, Piotr
1
1984
Mutual interpretability of sentential logics. II. Zbl 0468.03007
Wojtylak, Piotr
1
1981
Some generalizations of Makinson’s theorem on structural completeness. Zbl 0358.02064
Wojtylak, Piotr
1
1977
Modal consequence relations extending S4.3: an application of projective unification. Zbl 1403.03029
Dzik, Wojciech; Wojtylak, Piotr
2
2016
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\). Zbl 1405.03050
Dzik, Wojciech; Wojtylak, Piotr
1
2015
Projective unification in modal logic. Zbl 1260.03041
Dzik, Wojciech; Wojtylak, Piotr
6
2012
An algorithm for the number of path homomorphisms. Zbl 1182.05116
Arworn, Srichan; Wojtylak, Piotr
2
2009
Completeness theory for propositional logics. Zbl 1143.03001
Pogorzelski, Witold A.; Wojtylak, Piotr
9
2008
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr
3
2008
Characterizations of non-singular cycles, path and trees. Zbl 1175.90074
Sookyang, S.; Arworn, S.; Wojtylak, P.
2
2008
Characterizations of non-singular cycles and trees. Zbl 1172.05313
Sookyang, Supot; Arworn, S.; Wojtylak, P.
1
2007
On a problem of H. Friedman and its solution by T. Prucnal. Zbl 1053.03017
Wojtylak, Piotr
5
2004
On the problem of R. E. Tax. Zbl 0991.03011
Wojtylak, Piotr; Wroński, Andrzej
1
2001
\(Cn\)-definitions of propositional connectives. Zbl 0986.03012
Pogorzelski, Witold A.; Wojtylak, Piotr
1
2001
2-SAT is not equivalent to Boolean Prime Ideal Theorem. Zbl 0923.03016
Wojtylak, Piotr
1
1999
Independent axiomatizability of sets of sentences. Zbl 0687.03015
Wojtylak, Piotr
4
1989
An example of a finite though finitely non-axiomatizable matrix. Zbl 0563.03011
Wojtylak, Piotr
3
1984
A recursive theory for the \(\{\neg,\wedge,\vee,\to,o\}\) fragment of intuitionistic logic. Zbl 0583.03014
Wojtylak, Piotr
1
1984
Collapse of a class of infinite disjunctions in intuitionistic propositional logic. Zbl 0599.03024
Wojtylak, Piotr
2
1983
Elements of the theory of completeness in propositional logic. Zbl 0539.03002
Pogorzelski, Witold A.; Wojtylak, Piotr
4
1982
Mutual interpretability of sentential logics. II. Zbl 0468.03007
Wojtylak, Piotr
1
1981
Strongly finite logics: Finite axiomatizability and the problem of supremum. Zbl 0409.03017
Wojtylak, Piotr
7
1979
Matrix representations for structural strengthenings of a propositional logic. Zbl 0422.03009
Wojtylak, Piotr
4
1979
On structural completeness of many-valued logics. Zbl 0393.03011
Wojtylak, Piotr
2
1978
Some generalizations of Makinson’s theorem on structural completeness. Zbl 0358.02064
Wojtylak, Piotr
1
1977

Citations by Year