Search dblp for Publications

export results for "toc:db/journals/jsyml/jsyml17.bht:"

 download as .bib file

@article{DBLP:journals/jsyml/ChurchQ52,
  author       = {Alonzo Church and
                  Willard Van Orman Quine},
  title        = {Some Theorems on Definability and Decidability},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {3},
  pages        = {179--187},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267689},
  doi          = {10.2307/2267689},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/ChurchQ52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/CraigQ52,
  author       = {William Craig and
                  Willard Van Orman Quine},
  title        = {On Reduction to a Symmetric Relation},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {3},
  pages        = {188},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267690},
  doi          = {10.2307/2267690},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/CraigQ52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Curry52,
  author       = {Haskell B. Curry},
  title        = {The System {LD}},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {35--42},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267456},
  doi          = {10.2307/2267456},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Curry52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Curry52a,
  author       = {Haskell B. Curry},
  title        = {On the Definition of Negation by a Fixed Proposition in Inferential
                  Calculus},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {98--104},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266240},
  doi          = {10.2307/2266240},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Curry52a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Curry52b,
  author       = {Haskell B. Curry},
  title        = {The Permutability of Rules in the Classical Inferential Calculus},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {4},
  pages        = {245--248},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266612},
  doi          = {10.2307/2266612},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Curry52b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Curry52c,
  author       = {Haskell B. Curry},
  title        = {The Elimination Theorem When Modality is Present},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {4},
  pages        = {249--265},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266613},
  doi          = {10.2307/2266613},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Curry52c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Goodman52,
  author       = {Nelson Goodman},
  title        = {New Notes on Simplicity},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {3},
  pages        = {189--191},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267691},
  doi          = {10.2307/2267691},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Goodman52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hasenjaeger52,
  author       = {Gisbert Hasenjaeger},
  title        = {{\"{U}}ber omega-Unvollst{\"{a}}ndigkeit in der Peano-Arithmetik},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {81--97},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266239},
  doi          = {10.2307/2266239},
  timestamp    = {Tue, 20 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hasenjaeger52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kalicki52,
  author       = {Jan Kalicki},
  title        = {A Test for the Equality of Truth-Tables},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {3},
  pages        = {161--163},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267687},
  doi          = {10.2307/2267687},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kalicki52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kreisel52,
  author       = {Georg Kreisel},
  title        = {On the Interpretation of Non-Finitist Proofs: Part {II.} Interpretation
                  of Number Theory. Applications},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {43--58},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267457},
  doi          = {10.2307/2267457},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kreisel52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mostowski52,
  author       = {Andrzej Mostowski},
  title        = {On Direct Products of Theories},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {1--31},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267454},
  doi          = {10.2307/2267454},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mostowski52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Myhill52,
  author       = {John R. Myhill},
  title        = {A Finitary Metalanguage for Extended Basic Logic},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {3},
  pages        = {164--178},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267688},
  doi          = {10.2307/2267688},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Myhill52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Myhill52a,
  author       = {John R. Myhill},
  title        = {A Derivation of Number Theory from Ancestral Theory},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {3},
  pages        = {192--197},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267692},
  doi          = {10.2307/2267692},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Myhill52a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Oliver52,
  author       = {James Willard Oliver},
  title        = {Fourteenth Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {156--159},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266287},
  doi          = {10.2307/2266287},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Oliver52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rose52,
  author       = {Alan Rose},
  title        = {An Extension of Computational Logic},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {32--34},
  year         = {1952},
  url          = {https://doi.org/10.2307/2267455},
  doi          = {10.2307/2267455},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rose52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rosser52,
  author       = {J. Barkley Rosser},
  title        = {The Axiom of Infinity in Quine's New Foundations},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {4},
  pages        = {238--242},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266610},
  doi          = {10.2307/2266610},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rosser52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ScholzKH52,
  author       = {Heinrich Scholz and
                  Georg Kreisel and
                  Leon Henkin},
  title        = {Problems},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {160},
  year         = {1952},
  url          = {https://doi.org/10.1017/S0022481200100076},
  doi          = {10.1017/S0022481200100076},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ScholzKH52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shaw-Kwei52,
  author       = {Moh Shaw{-}Kwei},
  title        = {A Note on the Theory of Quantification},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {4},
  pages        = {243--244},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266611},
  doi          = {10.2307/2266611},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shaw-Kwei52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shepherdson52,
  author       = {John C. Shepherdson},
  title        = {Inner Models for Set Theory-Part {II}},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {4},
  pages        = {225--237},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266609},
  doi          = {10.2307/2266609},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shepherdson52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Wang52,
  author       = {Hao Wang},
  title        = {Logic of Many-Sorted Theories},
  journal      = {J. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {105--116},
  year         = {1952},
  url          = {https://doi.org/10.2307/2266241},
  doi          = {10.2307/2266241},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Wang52.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.