Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/Amer94,
  author       = {Mohamed A. Amer},
  title        = {Probability Logic and Measures on Epimorphic Images of Coproducts
                  of Measurable Spaces},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {29--52},
  year         = {1994},
  url          = {https://rml.tcs.uj.edu.pl/rml-28/a-ame-28.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Amer94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Bugajska-JaszczoltP94,
  author       = {Beata Bugajska{-}Jaszczolt and
                  Tadeusz Prucnal},
  title        = {Axiomatization of the Logic Determined by the System of Natural Numbers
                  with Identity},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {61--71},
  year         = {1994},
  url          = {https://rml.tcs.uj.edu.pl/rml-28/a-pru-28.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Bugajska-JaszczoltP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/BugajskaD94,
  author       = {Beata Bugajska and
                  Kazimiera Dyrda},
  title        = {On the Rules of Substitution in the First-order Predicate Logics},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {21--27},
  year         = {1994},
  url          = {https://rml.tcs.uj.edu.pl/rml-28/a-bug-28.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/BugajskaD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/BurrisF94,
  author       = {Stanley Burris and
                  Isabel M. A. Ferreirim},
  title        = {Decidable Varieties of Hoops},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {53--59},
  year         = {1994},
  url          = {https://rml.tcs.uj.edu.pl/rml-28/a-bur-28.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/BurrisF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Kowalski94,
  author       = {Tomasz Kowalski},
  title        = {A Syntactic Proof of a Conjecture of Andrzej Wronski},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {81--86},
  year         = {1994},
  url          = {https://rml.tcs.uj.edu.pl/rml-28/a-kow-28.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Kowalski94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Pietruszczak94,
  author       = {Andrzej Pietruszczak},
  title        = {Cardinalities of Models for Pure Calculi of Names},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {87--102},
  year         = {1994},
  timestamp    = {Wed, 25 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Pietruszczak94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/PoubelP94,
  author       = {Hayd{\'{e}}e Werneck Poubel and
                  Luiz Carlos Pereira},
  title        = {A Categorical Approach to Higher-level Introduction and Elimination
                  Rules},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {3--19},
  year         = {1994},
  url          = {https://rml.tcs.uj.edu.pl/rml-28/a-pou-28.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/PoubelP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Wronski94,
  author       = {Andrzej Wronski},
  title        = {Gentzen-style Calculi for Quasi-identities of Finite Algebras},
  journal      = {Reports Math. Log.},
  volume       = {28},
  pages        = {73--79},
  year         = {1994},
  url          = {https://rml.tcs.uj.edu.pl/rml-28/a-wro-28.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Wronski94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}