BibTeX records: Piotr Wojtylak

download as .bib file

@article{DBLP:journals/apal/DzikKW22,
  author       = {Wojciech Dzik and
                  Slawomir Kost and
                  Piotr Wojtylak},
  title        = {Finitary unification in locally tabular modal logics characterized},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {173},
  number       = {4},
  pages        = {103072},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.apal.2021.103072},
  doi          = {10.1016/J.APAL.2021.103072},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/DzikKW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/DzikW19,
  author       = {Wojciech Dzik and
                  Piotr Wojtylak},
  title        = {Unification in first-order transitive modal logic},
  journal      = {Log. J. {IGPL}},
  volume       = {27},
  number       = {5},
  pages        = {693--717},
  year         = {2019},
  url          = {https://doi.org/10.1093/jigpal/jzy077},
  doi          = {10.1093/JIGPAL/JZY077},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/DzikW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/DzikW19,
  author       = {Wojciech Dzik and
                  Piotr Wojtylak},
  title        = {Unification in superintuitionistic Predicate Logics and its Applications},
  journal      = {Rev. Symb. Log.},
  volume       = {12},
  number       = {1},
  pages        = {37--61},
  year         = {2019},
  url          = {https://doi.org/10.1017/S1755020318000011},
  doi          = {10.1017/S1755020318000011},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/DzikW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/DzikW16,
  author       = {Wojciech Dzik and
                  Piotr Wojtylak},
  title        = {Modal Consequence Relations Extending {S4.3:} An Application of Projective
                  Unification},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {57},
  number       = {4},
  pages        = {523--549},
  year         = {2016},
  url          = {https://doi.org/10.1215/00294527-3636512},
  doi          = {10.1215/00294527-3636512},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/DzikW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/DzikW16,
  author       = {Wojciech Dzik and
                  Piotr Wojtylak},
  editor       = {Silvio Ghilardi and
                  Manfred Schmidt{-}Schau{\ss}},
  title        = {Unification in predicate logic},
  booktitle    = {Proceedings of the 30th International Workshop on Unification, {UNIF}
                  2016, Porto, Portugal, June 26, 2016},
  pages        = {9--12},
  year         = {2016},
  url          = {http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf\#page=9},
  timestamp    = {Tue, 19 Sep 2023 16:43:02 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/DzikW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/DzikW15,
  author       = {Wojciech Dzik and
                  Piotr Wojtylak},
  title        = {Almost structurally complete infinitary consequence operations extending
                  {S4.3}},
  journal      = {Log. J. {IGPL}},
  volume       = {23},
  number       = {4},
  pages        = {640--661},
  year         = {2015},
  url          = {https://doi.org/10.1093/jigpal/jzv024},
  doi          = {10.1093/JIGPAL/JZV024},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/DzikW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/DzikW12,
  author       = {Wojciech Dzik and
                  Piotr Wojtylak},
  title        = {Projective unification in modal logic},
  journal      = {Log. J. {IGPL}},
  volume       = {20},
  number       = {1},
  pages        = {121--153},
  year         = {2012},
  url          = {https://doi.org/10.1093/jigpal/jzr028},
  doi          = {10.1093/JIGPAL/JZR028},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/DzikW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/unif/DzikW11,
  author       = {Wojciech Dzik and
                  Piotr Wojtylak},
  editor       = {Franz Baader and
                  Barbara Morawska and
                  Jan Otop},
  title        = {Projective Unifiers in Modal Logics},
  booktitle    = {Proceedings of the 25th International Workshop on Unification, {UNIF}
                  2011, Wroclaw, Poland, July 31, 2011},
  pages        = {21--27},
  year         = {2011},
  url          = {https://www.irif.fr/\%7Etreinen/unif/past/unif11/unif11-proceedings.pdf\#page=27},
  timestamp    = {Mon, 23 Oct 2023 15:28:12 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/DzikW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dm/ArwornW09,
  author       = {Srichan Arworn and
                  Piotr Wojtylak},
  title        = {An algorithm for the number of path homomorphisms},
  journal      = {Discret. Math.},
  volume       = {309},
  number       = {18},
  pages        = {5569--5573},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.disc.2008.04.010},
  doi          = {10.1016/J.DISC.2008.04.010},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/ArwornW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BaazW08,
  author       = {Matthias Baaz and
                  Piotr Wojtylak},
  title        = {Generalizing proofs in monadic languages},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {154},
  number       = {2},
  pages        = {71--138},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2007.10.010},
  doi          = {10.1016/J.APAL.2007.10.010},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BaazW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/PogorzelskiW05,
  author       = {Witold A. Pogorzelski and
                  Piotr Wojtylak},
  title        = {A Proof System for Classical Logic},
  journal      = {Stud Logica},
  volume       = {80},
  number       = {1},
  pages        = {95--104},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-6778-2},
  doi          = {10.1007/S11225-005-6778-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/PogorzelskiW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Wojtylak04,
  author       = {Piotr Wojtylak},
  title        = {On a Problem of H. Friedman and its Solution by T. Prucnal},
  journal      = {Reports Math. Log.},
  volume       = {38},
  pages        = {69--86},
  year         = {2004},
  url          = {https://rml.tcs.uj.edu.pl/rml-38/wojtylak.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Wojtylak04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/WojtylakW01,
  author       = {Piotr Wojtylak and
                  Andrzej Wronski},
  title        = {On the Problem of R. E. Tax},
  journal      = {Reports Math. Log.},
  volume       = {35},
  pages        = {87--101},
  year         = {2001},
  url          = {https://rml.tcs.uj.edu.pl/rml-35/a-woj-35.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/WojtylakW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/PogorzelskiW01,
  author       = {Witold A. Pogorzelski and
                  Piotr Wojtylak},
  title        = {Cn-Definitions of Propositional Connectives},
  journal      = {Stud Logica},
  volume       = {67},
  number       = {1},
  pages        = {1--26},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1010509126669},
  doi          = {10.1023/A:1010509126669},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/PogorzelskiW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/GrygielW97,
  author       = {Joanna Grygiel and
                  Piotr Wojtylak},
  title        = {The Uniqueness of the Decomposition of Distributive Lattices into
                  Sums of Boolean Lattices},
  journal      = {Reports Math. Log.},
  volume       = {31},
  pages        = {93--102},
  year         = {1997},
  url          = {https://rml.tcs.uj.edu.pl/rml-31/a-gry-31.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/GrygielW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/KotasW95,
  author       = {Jerzy Kotas and
                  Piotr Wojtylak},
  title        = {Finite Distributive Lattices as Sums of Boolean Algebras},
  journal      = {Reports Math. Log.},
  volume       = {29},
  pages        = {35--40},
  year         = {1995},
  url          = {https://rml.tcs.uj.edu.pl/rml-29/a-kot-29.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/KotasW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/KolanyW91,
  author       = {Adam Kolany and
                  Piotr Wojtylak},
  title        = {Restricted Versions of the Compactness Theorem},
  journal      = {Reports Math. Log.},
  volume       = {25},
  year         = {1991},
  url          = {https://rml.tcs.uj.edu.pl/rml-25/a-kol-25.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/KolanyW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wojtylak91,
  author       = {Piotr Wojtylak},
  title        = {On structural completeness of implicational logics},
  journal      = {Stud Logica},
  volume       = {50},
  number       = {2},
  pages        = {275--297},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF00370188},
  doi          = {10.1007/BF00370188},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wojtylak91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Wojtylak89,
  author       = {Piotr Wojtylak},
  title        = {Independent Axiomatizability of Sets of Sentences},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {44},
  number       = {3},
  pages        = {259--299},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90034-1},
  doi          = {10.1016/0168-0072(89)90034-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Wojtylak89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.