Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/AbadVZ03,
  author       = {Manuel Abad and
                  J. Patricio D{\'{\i}}az Varela and
                  Marta A. Zander},
  title        = {Boolean Algebras with a Distinguished Automorphism},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {101--112},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-aba-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AbadVZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Babyonyshev03,
  author       = {S. Babyonyshev},
  title        = {Fully Fregean Logics},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {59--77},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-bab-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Babyonyshev03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Braso03,
  author       = {J. Gispert i Braso},
  title        = {Axiomatic Extensions of the Milpotent Minimum Logic},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {113--123},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-gis-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Braso03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Dellunde03,
  author       = {Pilar Dellunde},
  title        = {Equality-free Saturated Models},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {3--22},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-del-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Dellunde03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Dubikajtis03,
  author       = {L. Dubikajtis},
  title        = {On the First Order Logic True in Every Universe (Including the Empty
                  Universe)},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {41--57},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-dub-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Dubikajtis03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Esser03,
  author       = {Olivier Esser},
  title        = {Mildly Ineffable Cardinals and Hiperuniverces},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {23--39},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-ess-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Esser03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Takamura03,
  author       = {Hiroki Takamura},
  title        = {Every Free Biresiduated Lattice is Semisimple},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {125--133},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-tak-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Takamura03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Tanaka03,
  author       = {Yoshihito Tanaka},
  title        = {Some Proof Systems for Common Knowledge Predicate},
  journal      = {Reports Math. Log.},
  volume       = {37},
  pages        = {79--100},
  year         = {2003},
  url          = {https://rml.tcs.uj.edu.pl/rml-37/a-tan-37.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Tanaka03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}