Piotr Wojtylak - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2022

Finitary unification in locally tabular modal logics characterizedWojciech Dzik, Slawomir Kost, Piotr Wojtylak. APAL, 173(4):103072, 2022. [doi]

2019

Unification in superintuitionistic Predicate Logics and its ApplicationsWojciech Dzik, Piotr Wojtylak. rsl, 12(1):37-61, 2019. [doi]

Unification in first-order transitive modal logicWojciech Dzik, Piotr Wojtylak. igpl, 27(5):693-717, 2019. [doi]

2016

Unification in predicate logicWojciech Dzik, Piotr Wojtylak. UNIF 2016: 9-12 [doi]

Modal Consequence Relations Extending S4.3: An Application of Projective UnificationWojciech Dzik, Piotr Wojtylak. ndjfl, 57(4):523-549, 2016. [doi]

2015

Almost structurally complete infinitary consequence operations extending S4.3Wojciech Dzik, Piotr Wojtylak. igpl, 23(4):640-661, 2015. [doi]

2012

Projective unification in modal logicWojciech Dzik, Piotr Wojtylak. igpl, 20(1):121-153, 2012. [doi]

2011

Projective Unifiers in Modal LogicsWojciech Dzik, Piotr Wojtylak. UNIF 2011: 21-27 [doi]

2009

An algorithm for the number of path homomorphismsSrichan Arworn, Piotr Wojtylak. DM, 309(18):5569-5573, 2009. [doi]

2008

Generalizing proofs in monadic languagesMatthias Baaz, Piotr Wojtylak. APAL, 154(2):71-138, 2008. [doi]

2005

A Proof System for Classical LogicWitold A. Pogorzelski, Piotr Wojtylak. sLogica, 80(1):95-104, 2005. [doi]

2004

On a Problem of H. Friedman and its Solution by T. PrucnalPiotr Wojtylak. rml, 38:69-86, 2004. [doi]

2001

Cn-Definitions of Propositional ConnectivesWitold A. Pogorzelski, Piotr Wojtylak. sLogica, 67(1):1-26, 2001.

On the Problem of R. E. TaxPiotr Wojtylak, Andrzej Wronski. rml, 35:87-101, 2001. [doi]

1997

The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean LatticesJoanna Grygiel, Piotr Wojtylak. rml, 31:93-102, 1997. [doi]

1995

Finite Distributive Lattices as Sums of Boolean AlgebrasJerzy Kotas, Piotr Wojtylak. rml, 29:35-40, 1995. [doi]

1991

Restricted Versions of the Compactness TheoremAdam Kolany, Piotr Wojtylak. rml, 25, 1991. [doi]

On structural completeness of implicational logicsPiotr Wojtylak. sLogica, 50(2):275-297, 1991. [doi]

1989

Independent Axiomatizability of Sets of SentencesPiotr Wojtylak. APAL, 44(3):259-299, 1989.

Sign in or sign up to see more results.

runs on WebDSL