Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/DelhommeM06,
  author       = {Christian Delhomm{\'{e}} and
                  Marianne Morillon},
  title        = {Spanning Graphs and the Axiom of Choice},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {165--180},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/08-morillon.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/DelhommeM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Hinnion06,
  author       = {Roland Hinnion},
  title        = {Intensional Positive Set Theory},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {107--125},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/05-hinnion.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Hinnion06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Humberstone06,
  author       = {Lloyd Humberstone},
  title        = {Extensions of Intuitionistic Logic without the Deduction Theorem:
                  Some Simple Examples},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {45--82},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/03-humberstone.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Humberstone06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Kysiak06,
  author       = {Marcin Kysiak},
  title        = {A Note on Transitive Sets without the Foundation Axiom},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {159--163},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/07-kysiak.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Kysiak06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/MonteiroASSZ06,
  author       = {Luiz F. Monteiro and
                  Manuel Abad and
                  Sonia Savini and
                  Julio Sewald and
                  Marta A. Zander},
  title        = {Subalgebras of a Finite Monadic Boolean Algebra},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {199--206},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/10-monteiro.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/MonteiroASSZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/RodriguesFS06,
  author       = {Alexandre A. M. Rodrigues and
                  Ricardo C. Miranda Filho and
                  Edelcio G. de Souza},
  title        = {Invariance and Set-Theoretical Operations in First Order Structures},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {207--213},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/RodriguesFS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Sanza06,
  author       = {Claudia Sanza},
  title        = {n x m Lukasiewicz Algebras with Negation},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {83--106},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/04-sanza.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Sanza06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/SbardelliniC06,
  author       = {Lu{\'{\i}}s A. Sbardellini and
                  Marcelo E. Coniglio},
  title        = {Some Results on Ordered Structures in Toposes},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {181--198},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/09-sbardellini.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/SbardelliniC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Swirydowicz06,
  author       = {Kazimierz Swirydowicz},
  title        = {Upper Part of the Lattice of Extensions of the Positive Relevant Logic
                  {R+}},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {3--13},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/01-swirydowicz.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Swirydowicz06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Urbaniak06,
  author       = {Rafal Urbaniak},
  title        = {On Ontological Functors of Lesniewski's Elementary Ontology},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {15--43},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/02-urbaniak.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Urbaniak06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/VidalT06,
  author       = {Juan Climent Vidal and
                  Juan Soliveres Tur},
  title        = {On the Completeness Theorem of Many-sorted Equational Logic and the
                  Equivalence between Hall Algebras and B{\'{e}}nabou Theories},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {127--158},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/06-climent.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/VidalT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}