Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/Bendova05,
  author       = {Kamila Bendov{\'{a}}},
  title        = {Interpolation and Three-valued Logics},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {127--131},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/bendova.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Bendova05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Celani05,
  author       = {Sergio A. Celani},
  title        = {Modal Tarski Algebras},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {113--126},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/a-cel-39.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Celani05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Lattanzi05,
  author       = {M. B. Lattanzi},
  title        = {(n+1)-bounded Wajsberg Algebras with a U-operator},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {89--111},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/a-lat-39.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Lattanzi05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/RafteryA05,
  author       = {James G. Raftery and
                  Clint J. van Alten},
  title        = {Corrigendum: Residuation in Commutative Ordered Monoids with Minimal
                  Zero},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {133--135},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/raftery.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/RafteryA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/RoblesMS05,
  author       = {Gemma Robles and
                  Jos{\'{e}} M. M{\'{e}}ndez and
                  Francisco Salto},
  title        = {Minimal Negation in the Ternary Relational Semantics},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {47--65},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/a-men-39.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/RoblesMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/SchirnN05,
  author       = {M. Schirn and
                  K. G. Niebergal},
  title        = {Finitism = PRA? On a Thesis of W. W. Tait},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {3--24},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/a-sch-39.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/SchirnN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Weaver05,
  author       = {George Weaver},
  title        = {Compactness in Equational Logic},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {25--46},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/a-wea-39.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Weaver05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Zaionc05,
  author       = {Marek Zaionc},
  title        = {On the Asymptotic Density of Tautologies in Logic of Implication and
                  Negation},
  journal      = {Reports Math. Log.},
  volume       = {39},
  pages        = {67--87},
  year         = {2005},
  url          = {https://rml.tcs.uj.edu.pl/rml-39/a-zai-39.htm},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Zaionc05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}