Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsyml/Barcan46,
  author       = {Ruth C. Barcan},
  title        = {A Functional Calculus of First Order Based on Strict Implication},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {1},
  pages        = {1--16},
  year         = {1946},
  url          = {https://doi.org/10.2307/2269159},
  doi          = {10.2307/2269159},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Barcan46.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Barcan46a,
  author       = {Ruth C. Barcan},
  title        = {The Deduction Theorem in a Functional Calculus of First Order Based
                  on Strict Implication},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {4},
  pages        = {115--118},
  year         = {1946},
  url          = {https://doi.org/10.2307/2268309},
  doi          = {10.2307/2268309},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Barcan46a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Blake46,
  author       = {Archie Blake},
  title        = {A Boolean Derivation of the Moore-Osgood Theorem},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {3},
  pages        = {65--70},
  year         = {1946},
  url          = {https://doi.org/10.2307/2266733},
  doi          = {10.2307/2266733},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Blake46.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Carnap46,
  author       = {Rudolf Carnap},
  title        = {Modalities and Quantification},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {2},
  pages        = {33--64},
  year         = {1946},
  url          = {https://doi.org/10.2307/2268610},
  doi          = {10.2307/2268610},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Carnap46.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Heyting46,
  author       = {Arend Heyting},
  title        = {On Weakened Quantification},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {4},
  pages        = {119--121},
  year         = {1946},
  url          = {https://doi.org/10.2307/2268310},
  doi          = {10.2307/2268310},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Heyting46.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Post46,
  author       = {Emil L. Post},
  title        = {Note on a Conjecture of Skolem},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {3},
  pages        = {73--74},
  year         = {1946},
  url          = {https://doi.org/10.2307/2266735},
  doi          = {10.2307/2266735},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Post46.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine46,
  author       = {Willard Van Orman Quine},
  title        = {On Relations as Coextensive with Classes},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {3},
  pages        = {71--72},
  year         = {1946},
  url          = {https://doi.org/10.2307/2266734},
  doi          = {10.2307/2266734},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine46.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine46a,
  author       = {Willard Van Orman Quine},
  title        = {Concatenation as a Basis for Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {11},
  number       = {4},
  pages        = {105--114},
  year         = {1946},
  url          = {https://doi.org/10.2307/2268308},
  doi          = {10.2307/2268308},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine46a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}