BibTeX records: Alfred Horn

• > Home > Persons > Alfred Horn

@article{DBLP:journals/ndjfl/Horn78,
  author       = {Alfred Horn},
  title        = {Free {S5} algebras},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {19},
  number       = {1},
  pages        = {189--191},
  year         = {1978},
  url          = {https://doi.org/10.1305/ndjfl/1093888226},
  doi          = {10.1305/NDJFL/1093888226},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Horn78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/EpsteinH76,
  author       = {George Epstein and
                  Alfred Horn},
  title        = {Logics Which Are Characterized by Subresiduated Lattices},
  journal      = {Math. Log. Q.},
  volume       = {22},
  number       = {1},
  pages        = {199--210},
  year         = {1976},
  url          = {https://doi.org/10.1002/malq.19760220128},
  doi          = {10.1002/MALQ.19760220128},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/EpsteinH76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Horn69,
  author       = {Alfred Horn},
  title        = {Logic with Truth Values in a Linearly Ordered Heyting Algebra},
  journal      = {J. Symb. Log.},
  volume       = {34},
  number       = {3},
  pages        = {395--408},
  year         = {1969},
  url          = {https://doi.org/10.2307/2270905},
  doi          = {10.2307/2270905},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Horn69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Horn69a,
  author       = {Alfred Horn},
  title        = {Free L-Algebras},
  journal      = {J. Symb. Log.},
  volume       = {34},
  number       = {3},
  pages        = {475--480},
  year         = {1969},
  url          = {https://doi.org/10.2307/2270910},
  doi          = {10.2307/2270910},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Horn69a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Horn62,
  author       = {Alfred Horn},
  title        = {The Separation Theorem of Intuitionist Propositional Calculus},
  journal      = {J. Symb. Log.},
  volume       = {27},
  number       = {4},
  pages        = {391--399},
  year         = {1962},
  url          = {https://doi.org/10.2307/2964545},
  doi          = {10.2307/2964545},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Horn62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Horn51,
  author       = {Alfred Horn},
  title        = {On Sentences Which are True of Direct Unions of Algebras},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {1},
  pages        = {14--21},
  year         = {1951},
  url          = {https://doi.org/10.2307/2268661},
  doi          = {10.2307/2268661},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Horn51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}