Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/AbadVRS07,
  author       = {Manuel Abad and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela and
                  Laura A. Rueda and
                  Ana Maria Suard{\'{\i}}az},
  title        = {Free three-valued Closure Lukasiewicz Algebras},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {3--17},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-aba-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AbadVRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Bendova07,
  author       = {Kamila Bendov{\'{a}}},
  title        = {A weak essentially undecidable theory},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {145--151},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-ben-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Bendova07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Hinnion07,
  author       = {Roland Hinnion},
  title        = {Intensional solutions to the identity problem for partial sets},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {47--69},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-hin-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Hinnion07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Kloch07,
  author       = {Kamil Kloch},
  title        = {Online dimension of partially ordered sets},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {101--116},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-klo-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Kloch07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/MarianoM07,
  author       = {Hugo Luiz Mariano and
                  Francisco Miraglia},
  title        = {Profinite Structures are Retracts of Ultraproducts of Finite Structures},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {169--182},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-mar-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/MarianoM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Raftery07,
  author       = {James G. Raftery},
  title        = {On the variety generated by involutive pocrims},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {71--86},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-raf-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Raftery07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/RoblesM07,
  author       = {Gemma Robles and
                  Jos{\'{e}} M. M{\'{e}}ndez},
  title        = {Minimal non-relevant logics without the {K} axiom},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {117--144},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-rob-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/RoblesM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Sakharov07,
  author       = {Alexander Sakharov},
  title        = {Intuitionistic Predicate Logic with Decidable Propositional Formulas},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {153--168},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-sak-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Sakharov07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Slomczynska07,
  author       = {Katarzyna Slomczynska},
  title        = {Purely equivalential propositional formulas in the intermediate Godel-Dummett
                  logic},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {87--100},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-slo-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Slomczynska07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Voultsadakis07,
  author       = {George Voultsadakis},
  title        = {Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic
                  pi-Institution},
  journal      = {Reports Math. Log.},
  volume       = {42},
  pages        = {19--46},
  year         = {2007},
  url          = {https://rml.tcs.uj.edu.pl/rml-42/a-vou-42.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Voultsadakis07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}