Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/Cowen01,
  author       = {Robert Cowen},
  title        = {Property {S}},
  journal      = {Reports Math. Log.},
  volume       = {35},
  pages        = {61--74},
  year         = {2001},
  url          = {https://rml.tcs.uj.edu.pl/rml-35/a-cow-35.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Cowen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Degen01,
  author       = {J. W. Degen},
  title        = {Proof Theory for Finitely Valid Sentences},
  journal      = {Reports Math. Log.},
  volume       = {35},
  pages        = {47--59},
  year         = {2001},
  url          = {https://rml.tcs.uj.edu.pl/rml-35/a-deg-35.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Degen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Fiorentini01,
  author       = {Camillo Fiorentini},
  title        = {Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness
                  of Intermediate Propositional Logics},
  journal      = {Reports Math. Log.},
  volume       = {35},
  pages        = {3--46},
  year         = {2001},
  url          = {https://rml.tcs.uj.edu.pl/rml-35/a-fio-35.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Fiorentini01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/FontJP01,
  author       = {Josep Maria Font and
                  Ramon Jansana and
                  Don Pigozzi},
  title        = {Fully Adequate Gentzen Systems and the Deduction Theorem},
  journal      = {Reports Math. Log.},
  volume       = {35},
  pages        = {115--165},
  year         = {2001},
  url          = {https://rml.tcs.uj.edu.pl/rml-35/a-pig-35.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/FontJP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Georgescu01,
  author       = {George Georgescu},
  title        = {Some Model Theory for Probability Structures},
  journal      = {Reports Math. Log.},
  volume       = {35},
  pages        = {103--113},
  year         = {2001},
  url          = {https://rml.tcs.uj.edu.pl/rml-35/a-geo-35.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Georgescu01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Grygiel01,
  author       = {Joanna Grygiel},
  title        = {Boolean Constructions of Independent Sets of Generators for Filters},
  journal      = {Reports Math. Log.},
  volume       = {35},
  pages        = {75--85},
  year         = {2001},
  url          = {https://rml.tcs.uj.edu.pl/rml-35/a-gry-35.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Grygiel01.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}
}