Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/CastiglioniM10,
  author       = {Jos{\'{e}} L. Castiglioni and
                  Hern{\'{a}}n Javier San Mart{\'{\i}}n},
  title        = {On the variety of Heyting algebras with successor generated by all
                  finite chains},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {225--248},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/10-Castiglioni.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/CastiglioniM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/CastiglioniSM10,
  author       = {Jos{\'{e}} L. Castiglioni and
                  Marta Sagastume and
                  Hern{\'{a}}n Javier San Mart{\'{\i}}n},
  title        = {On frontal Heyting algebras},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {201--224},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/09-Castiglioni.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/CastiglioniSM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/CrvenkovicMR10,
  author       = {Sinisa Crvenkovic and
                  Melanija Mitrovic and
                  Daniel Abraham Romano},
  title        = {Complementary pair of quasi-antiorders},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {135--142},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/06-Romano.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/CrvenkovicMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Frankowski10,
  author       = {Szymon Frankowski},
  title        = {On the Lattice of p-consequences},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {23--35},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/02-Frankowski.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Frankowski10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Hsieh10,
  author       = {Ai{-}ni Hsieh},
  title        = {Some locally tabular logics with contraction and mingle},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {143--159},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/07-Hsieh.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Hsieh10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Kamide10,
  author       = {Norihiro Kamide},
  title        = {Automating and computing paraconsistent reasoning: contraction-free,
                  resolution and type systems},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {3--21},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/01-Kamide.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Kamide10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/PaoliK10,
  author       = {Francesco Paoli and
                  Tomasz Kowalski},
  title        = {On some properties of quasi {MV} algebras and square root quasi {MV}
                  algebras. Part {III}},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {161--199},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/08-Kowalski.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/PaoliK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Robles10,
  author       = {Gemma Robles},
  title        = {Minimal non-relevant logics without the {K} axiom {II.} Negation introduced
                  via the unary connective},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {97--118},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/04-Robles.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Robles10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/RodriguesFS10,
  author       = {Alexandre A. M. Rodrigues and
                  Ricardo C. Miranda Filho and
                  Edelcio G. de Souza},
  title        = {Definability in infinitary languages and invariance by automorphims},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {119--133},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/RodriguesFS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/VidalT10,
  author       = {Juan Climent Vidal and
                  Juan Soliveres Tur},
  title        = {A 2-categorical framework for the syntax and semantics of many-sorted
                  equational logic},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {37--95},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/03-Climent.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/VidalT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/X10,
  title        = {Polemics},
  journal      = {Reports Math. Log.},
  volume       = {45},
  pages        = {249--259},
  year         = {2010},
  url          = {https://rml.tcs.uj.edu.pl/rml-45/11-polemics.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/X10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}