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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.