BibTeX records: Paul Lorenzen

• > Home > Persons > Paul Lorenzen

@article{DBLP:journals/aml/Lorenzen77,
  author       = {Paul Lorenzen},
  title        = {Die Vollst{\"{a}}ndigkeit einer unverzweigten Variante des "analytischen"
                  Entscheidungsverfahrens der klassischen Logik},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {19--22},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007253},
  doi          = {10.1007/BF02007253},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lorenzen77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/LorenzenM59,
  author       = {Paul Lorenzen and
                  John R. Myhill},
  title        = {Constructive Definition of Certain Analytic Sets of Numbers},
  journal      = {J. Symb. Log.},
  volume       = {24},
  number       = {1},
  pages        = {37--49},
  year         = {1959},
  url          = {https://doi.org/10.2307/2964572},
  doi          = {10.2307/2964572},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/LorenzenM59.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lorenzen58,
  author       = {Paul Lorenzen},
  title        = {Logical Reflection and Formalism},
  journal      = {J. Symb. Log.},
  volume       = {23},
  number       = {3},
  pages        = {241--249},
  year         = {1958},
  url          = {https://doi.org/10.2307/2964281},
  doi          = {10.2307/2964281},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lorenzen58.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Lorenzen57,
  author       = {Paul Lorenzen},
  title        = {{\"{u}}ber die Syllogismen als Relationenmultiplikationen},
  journal      = {Arch. Math. Log.},
  volume       = {3},
  number       = {3-4},
  pages        = {112--116},
  year         = {1957},
  url          = {https://doi.org/10.1007/BF01988051},
  doi          = {10.1007/BF01988051},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lorenzen57.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Lorenzen56,
  author       = {Paul Lorenzen},
  title        = {Zur Interpretation der Syllogistik},
  journal      = {Arch. Math. Log.},
  volume       = {2},
  number       = {2-4},
  pages        = {100--103},
  year         = {1956},
  url          = {https://doi.org/10.1007/BF01969995},
  doi          = {10.1007/BF01969995},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lorenzen56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Lorenzen54,
  author       = {Paul Lorenzen},
  title        = {Zur Begr{\"{u}}ndung der Modallogik},
  journal      = {Arch. Math. Log.},
  volume       = {2},
  number       = {1},
  pages        = {15--28},
  year         = {1954},
  url          = {https://doi.org/10.1007/BF01969423},
  doi          = {10.1007/BF01969423},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lorenzen54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Lorenzen54a,
  author       = {Paul Lorenzen},
  title        = {Zur Begr{\"{u}}ndung der Zweiwertigen Aussagenlogik},
  journal      = {Arch. Math. Log.},
  volume       = {2},
  number       = {1},
  pages        = {29--32},
  year         = {1954},
  url          = {https://doi.org/10.1007/BF01969424},
  doi          = {10.1007/BF01969424},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lorenzen54a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lorenzen51,
  author       = {Paul Lorenzen},
  title        = {Algebraische und Logistische Untersuchungen {\"{U}}ber Freie
                  Verb{\"{a}}nde},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {81--106},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266681},
  doi          = {10.2307/2266681},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lorenzen51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}