Piotr Wojtylak

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 5

Top Topics

Inference Rules

Top Venues

Ann. Pure Appl. Log.

Rev. Symb. Log.

Publications

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