Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Piotr Wojtylak
@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} }
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.