Piotr Wojtylak

According to our database1, Piotr Wojtylak authored at least 20 papers between 1989 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Unification types and union splittings in intermediate logics.
Ann. Pure Appl. Log., 2025

2022
Finitary unification in locally tabular modal logics characterized.
Ann. Pure Appl. Log., 2022

2019
Unification in superintuitionistic Predicate Logics and its Applications.
Rev. Symb. Log., 2019

Unification in first-order transitive modal logic.
Log. J. IGPL, 2019

2016
Modal Consequence Relations Extending S4.3: An Application of Projective Unification.
Notre Dame J. Formal Log., 2016

Unification in predicate logic.
Proceedings of the 30th International Workshop on Unification, 2016

2015
Almost structurally complete infinitary consequence operations extending S4.3.
Log. J. IGPL, 2015

2012
Projective unification in modal logic.
Log. J. IGPL, 2012

2011
Projective Unifiers in Modal Logics.
Proceedings of the 25th International Workshop on Unification, 2011

2009
An algorithm for the number of path homomorphisms.
Discret. Math., 2009

2008
Generalizing proofs in monadic languages.
Ann. Pure Appl. Log., 2008

2005
A Proof System for Classical Logic.
Stud Logica, 2005

2004
On a Problem of H. Friedman and its Solution by T. Prucnal.
Reports Math. Log., 2004

2001
Cn-Definitions of Propositional Connectives.
Stud Logica, 2001

On the Problem of R. E. Tax.
Reports Math. Log., 2001

1997
The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices.
Reports Math. Log., 1997

1995
Finite Distributive Lattices as Sums of Boolean Algebras.
Reports Math. Log., 1995

1991
On structural completeness of implicational logics.
Stud Logica, 1991

Restricted Versions of the Compactness Theorem.
Reports Math. Log., 1991

1989
Independent Axiomatizability of Sets of Sentences.
Ann. Pure Appl. Log., 1989


  Loading...