Search dblp for Publications

export results for "toc:db/journals/apal/apal76.bht:"

 download as .bib file

@article{DBLP:journals/apal/BarbaneraB95,
  author    = {Franco Barbanera and
               Stefano Berardi},
  title     = {A Strong Normalization Result for Classical Logic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {2},
  pages     = {99--116},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(95)00004-Z},
  doi       = {10.1016/0168-0072(95)00004-Z},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/BarbaneraB95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FerrariM95,
  author    = {Mauro Ferrari and
               Pierangelo Miglioli},
  title     = {A Method to Single out Maximal Propositional Logics with the Disjunction
               Property {I}},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {1},
  pages     = {1--46},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(94)00053-6},
  doi       = {10.1016/0168-0072(94)00053-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/FerrariM95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FerrariM95a,
  author    = {Mauro Ferrari and
               Pierangelo Miglioli},
  title     = {A Method to Single out Maximal Propositional Logics with the Disjunction
               Property {II}},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {2},
  pages     = {117--168},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(94)00052-5},
  doi       = {10.1016/0168-0072(94)00052-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/FerrariM95a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ForemanM95,
  author    = {Matthew Foreman and
               Menachem Magidor},
  title     = {Large Cardinals and Definable Counterexamples to the Continuum Hypothesis},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {1},
  pages     = {47--97},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(94)00031-W},
  doi       = {10.1016/0168-0072(94)00031-W},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/ForemanM95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Huuskonen95,
  author    = {Taneli Huuskonen},
  title     = {Observations about Scott and Karp Trees},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {3},
  pages     = {201--230},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(95)00008-5},
  doi       = {10.1016/0168-0072(95)00008-5},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Huuskonen95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Plato95,
  author    = {Jan von Plato},
  title     = {The Axioms of Constructive Geometry},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {2},
  pages     = {169--200},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(95)00005-2},
  doi       = {10.1016/0168-0072(95)00005-2},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Plato95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sommer95,
  author    = {Richard Sommer},
  title     = {Transfinite Induction within Peano Arithmetic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {3},
  pages     = {231--289},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(95)00029-G},
  doi       = {10.1016/0168-0072(95)00029-G},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Sommer95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Zapletal95,
  author    = {Jindrich Zapletal},
  title     = {More on the Cut and Choose Game},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {3},
  pages     = {291--301},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(95)00002-X},
  doi       = {10.1016/0168-0072(95)00002-X},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Zapletal95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics