Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/CzelakowskiD06,
  author       = {Janusz Czelakowski and
                  Wieslaw Dziobiak},
  title        = {On truth-schemes for intensional logics},
  journal      = {Reports Math. Log.},
  volume       = {41},
  pages        = {151--171},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-41/41-05.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/CzelakowskiD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/FontW06,
  author       = {Josep Maria Font and
                  Andrzej Wronski},
  title        = {Preface: In memory of Wim Blok},
  journal      = {Reports Math. Log.},
  volume       = {41},
  pages        = {1--5},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-41/41-preface.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/FontW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/GilR06,
  author       = {{\`{A}}ngel J. Gil and
                  Jordi Rebagliato},
  title        = {Equivalential Gentzen systems and the reduced matrices of the Gentzen
                  systems associated with finitely valued logics},
  journal      = {Reports Math. Log.},
  volume       = {41},
  pages        = {9--30},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-41/41-01.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/GilR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/JansanaP06,
  author       = {Ramon Jansana and
                  Alessandra Palmigiano},
  title        = {Referential semantics: duality and applications},
  journal      = {Reports Math. Log.},
  volume       = {41},
  pages        = {63--93},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-41/41-03.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/JansanaP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/KatohKU06,
  author       = {Yosuke Katoh and
                  Tomasz Kowalski and
                  Masaki Ueda},
  title        = {Almost minimal varieties related to fuzzy logic},
  journal      = {Reports Math. Log.},
  volume       = {41},
  pages        = {173--194},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-41/41-06.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/KatohKU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Raftery06,
  author       = {James G. Raftery},
  title        = {The equational definability of truth predicates},
  journal      = {Reports Math. Log.},
  volume       = {41},
  pages        = {95--149},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-41/41-04.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Raftery06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Voutsadakis06,
  author       = {George Voutsadakis},
  title        = {Categorical Abstract Algebraic Logic: Full Models, Frege Systems and
                  Metalogical Properties},
  journal      = {Reports Math. Log.},
  volume       = {41},
  pages        = {31--62},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-41/41-02.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Voutsadakis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}