Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/AbadCV11,
  author       = {Manuel Abad and
                  Juan Manuel Cornejo and
                  Jos{\'{e}} Patricio D{\'{\i}}az Varela},
  title        = {The Variety of Semi-Heyting Algebras Satisfying the equation {(0}
                  {\(\rightarrow\)} 1)\({}^{\mbox{*}}\) v {(0} {\(\rightarrow\)} 1)\({}^{\mbox{**}}\)
                  {\(\approx\)} 1},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {75--90},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/05-Abad.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AbadCV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Figallo11,
  author       = {Mart{\'{\i}}n Figallo},
  title        = {Some results on diagonal-free two-dimensional cylindric algebras},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {3--15},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/01-figallo.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Figallo11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Font11,
  author       = {Josep Maria Font},
  title        = {On semilattice-based logics with an algebraizable assertional companion},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {109--132},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/07-Font.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Font11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/GorazdK11,
  author       = {Tomasz A. Gorazd and
                  Jacek Krzaczkowski},
  title        = {The complexity of problems connected with two-element algebras},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {91--108},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/06-Gorazd.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/GorazdK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/HashimotoM11,
  author       = {Yasusi Hashimoto and
                  Akio Maruyama},
  title        = {Inclusion Relationship between Pseudo-Euclidean Logics},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {133--142},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/08-maruyama.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/HashimotoM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Kamide11,
  author       = {Norihiro Kamide},
  title        = {A logic of sequences},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {29--57},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/03-Kamide.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Kamide11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Souma11,
  author       = {Daisuke Souma},
  title        = {Minimal subvarieties of involutive residuated lattices},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {17--27},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/02-Souma.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Souma11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/VrgocV11,
  author       = {Domagoj Vrgoc and
                  Mladen Vukovic},
  title        = {Bisimulation quotients of Veltman models},
  journal      = {Reports Math. Log.},
  volume       = {46},
  pages        = {59--73},
  year         = {2011},
  url          = {https://rml.tcs.uj.edu.pl/rml-46/04-vukovic.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/VrgocV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}