# zbMATH — the first resource for mathematics

## Wojtylak, Piotr

Compute Distance To:
 Author ID: wojtylak.piotr Published as: Wojtylak, P.; Wojtylak, Piotr
 Documents Indexed: 35 Publications since 1977, including 2 Books
all top 5

#### Co-Authors

 18 single-authored 5 Dzik, Wojciech 4 Pogorzelski, Witold A. 3 Arworn, Srichan 2 Sookyang, Supot 1 Baaz, Matthias 1 Grygiel, Joanna 1 Kolany, Adam 1 Kotas, Jerzy 1 Wronski, Andrzej
all top 5

#### Serials

 13 Reports on Mathematical Logic 5 Studia Logica 3 Logic Journal of the IGPL 3 Bulletin of the Section of Logic 2 Annals of Pure and Applied Logic 2 Thai Journal of Mathematics 1 Discrete Mathematics 1 Notre Dame Journal of Formal Logic 1 Acta Universitatis Wratislaviensis. Logika 1 The Review of Symbolic Logic 1 Prace Naukowe Uniwersytetu Śląskiego w Katowicach 1 Studies in Universal Logic
all top 5

#### Fields

 30 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Operations research, mathematical programming (90-XX) 1 General algebraic systems (08-XX) 1 Computer science (68-XX)

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

#### Cited by 58 Authors

 4 Czelakowski, Janusz 4 Wojtylak, Piotr 3 Baaz, Matthias 3 Humberstone, Lloyd 3 Iemhoff, Rosalie 3 Pałasińska, Katarzyna 2 Dzik, Wojciech 2 Dziobiak, Wiesław 2 Pigozzi, Don Leonard 2 Stronkowski, Michał Marek 2 Wybraniec-Skardowska, Urszula 1 Allem, Luiz Emilio 1 Arpaia, S. Roberto 1 Badura, Lidia 1 Balbiani, Philippe 1 Bashmakov, Stepan Igorevich 1 Besnard, Philippe 1 Béziau, Jean-Yves 1 Boy de la Tour, Thierry 1 Citkin, Alex 1 Cowen, Robert H. 1 Eggleton, Roger B. 1 Font, Josep Maria 1 Gencer, Çigdem 1 Goudsmit, Jeroen P. 1 Hawranek, Jacek 1 Jaume, Daniel A. 1 Karczewska, Anna Maria 1 Kostrzycka, Zofia 1 Lin, Zhicong 1 Molina, Gonzalo 1 Morayne, Michał 1 Moser, Georg 1 Mruczek-Nasieniewska, Krystyna 1 Muravitsky, Alexei Yu. 1 Nasieniewski, Marek 1 Oner, Gulsah 1 Oner, Tahsin 1 Peltier, Nicolas 1 Połacik, Tomasz 1 Pynko, Alexej P. 1 Rasga, João 1 Rautenberg, Wolfgang 1 Senturk, Ibrahim 1 Sernadas, Amilcar C. 1 Sernadas, Cristina S. 1 Słomczyńska, Katarzyna 1 Takano, Mitio 1 Toledo, Maikon M. 1 Trevisan, Vilmar 1 Turunen, Esko 1 Tuziak, Roman 1 Verdú, Ventura 1 Waldmajer, Jacek 1 Williams, Gerald 1 Yang, Fan 1 Zeng, Jiang 1 Zygmunt, Jan
all top 5

#### Cited in 24 Serials

 17 Studia Logica 4 Annals of Pure and Applied Logic 4 Archive for Mathematical Logic 3 Journal of Philosophical Logic 2 Algebra Universalis 2 Logic and Logical Philosophy 2 Logica Universalis 2 The Review of Symbolic Logic 1 Discrete Mathematics 1 Ukrainian Mathematical Journal 1 Fuzzy Sets and Systems 1 Notre Dame Journal of Formal Logic 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Transactions of the American Mathematical Society 1 History and Philosophy of Logic 1 Graphs and Combinatorics 1 Journal of Automated Reasoning 1 Linear Algebra and its Applications 1 Journal of Logic, Language and Information 1 Computational and Applied Mathematics 1 Discussiones Mathematicae. Graph Theory 1 International Journal of Semantic Computing 1 Axioms 1 Journal of Siberian Federal University. Mathematics & Physics
all top 5

#### Cited in 9 Fields

 48 Mathematical logic and foundations (03-XX) 7 General algebraic systems (08-XX) 6 Computer science (68-XX) 5 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 History and biography (01-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX)