Piotr Wojtylak

20 papers Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Unification types and union splittings in intermediate logics.
Ann. Pure Appl. Log.
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak
2022 J jnl
Finitary unification in locally tabular modal logics characterized.
Ann. Pure Appl. Log.
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak
2019 J jnl
Unification in first-order transitive modal logic.
Log. J. IGPL
Wojciech Dzik, Piotr Wojtylak
2019 J jnl
Unification in superintuitionistic Predicate Logics and its Applications.
Rev. Symb. Log.
Wojciech Dzik, Piotr Wojtylak
2016 J jnl
Modal Consequence Relations Extending S4.3: An Application of Projective Unification.
Notre Dame J. Formal Log.
Wojciech Dzik, Piotr Wojtylak
2016 — conf
Unification in predicate logic.
UNIF
Wojciech Dzik, Piotr Wojtylak
2015 J jnl
Almost structurally complete infinitary consequence operations extending S4.3.
Log. J. IGPL
Wojciech Dzik, Piotr Wojtylak
2012 J jnl
Projective unification in modal logic.
Log. J. IGPL
Wojciech Dzik, Piotr Wojtylak
2011 — conf
Projective Unifiers in Modal Logics.
UNIF
Wojciech Dzik, Piotr Wojtylak
2009 J jnl
An algorithm for the number of path homomorphisms.
Discret. Math.
Srichan Arworn, Piotr Wojtylak
2008 J jnl
Generalizing proofs in monadic languages.
Ann. Pure Appl. Log.
Matthias Baaz, Piotr Wojtylak
2005 J jnl
A Proof System for Classical Logic.
Stud Logica
Witold A. Pogorzelski, Piotr Wojtylak
2004 J jnl
On a Problem of H. Friedman and its Solution by T. Prucnal.
Reports Math. Log.
Piotr Wojtylak
2001 J jnl
Cn-Definitions of Propositional Connectives.
Stud Logica
Witold A. Pogorzelski, Piotr Wojtylak
2001 J jnl
On the Problem of R. E. Tax.
Reports Math. Log.
Piotr Wojtylak, Andrzej Wronski
1997 J jnl
The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices.
Reports Math. Log.
Joanna Grygiel, Piotr Wojtylak
1995 J jnl
Finite Distributive Lattices as Sums of Boolean Algebras.
Reports Math. Log.
Jerzy Kotas, Piotr Wojtylak
1991 J jnl
On structural completeness of implicational logics.
Stud Logica
Piotr Wojtylak
1991 J jnl
Restricted Versions of the Compactness Theorem.
Reports Math. Log.
Adam Kolany, Piotr Wojtylak
1989 J jnl
Independent Axiomatizability of Sets of Sentences.
Ann. Pure Appl. Log.
Piotr Wojtylak