Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jsyml/Angell60,
  author       = {R. B. Angell},
  title        = {The Sentential Calculus Using Rule of Inference R\({}_{\mbox{e}}\)},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {2},
  pages        = {143},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964209},
  doi          = {10.2307/2964209},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Angell60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Belnap60,
  author       = {Nuel Belnap},
  title        = {Entailment and Relevance},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {2},
  pages        = {144--146},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964210},
  doi          = {10.2307/2964210},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Belnap60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Belnap60a,
  author       = {Nuel Belnap},
  title        = {Twenty-Sixth Annual Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {4},
  pages        = {384--393},
  year         = {1960},
  url          = {https://doi.org/10.2307/2963585},
  doi          = {10.2307/2963585},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Belnap60a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Cohen60,
  author       = {L. Jonathan Cohen},
  title        = {A Formalisation of Referentially Opaque Contexts},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {193--202},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964674},
  doi          = {10.2307/2964674},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Cohen60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Craig60,
  author       = {William Craig},
  title        = {Bases for First-Order Theories and Subtheories},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {2},
  pages        = {97--142},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964208},
  doi          = {10.2307/2964208},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Craig60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hailperin60,
  author       = {Theodore Hailperin},
  title        = {Corrections to a Theory of Restricted Quantification},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {1},
  pages        = {54--56},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964337},
  doi          = {10.2307/2964337},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hailperin60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Harrop60,
  author       = {Ronald Harrop},
  title        = {Concerning Formulas of the Types {A} -{\textgreater}B {V} C, {A} -{\textless}
                  (Ex)B(x)},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {1},
  pages        = {27--32},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964334},
  doi          = {10.2307/2964334},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Harrop60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Keisler60,
  author       = {H. Jerome Keisler},
  title        = {Theory of Models with Generalized Atomic Formulas},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {1},
  pages        = {1--26},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964333},
  doi          = {10.2307/2964333},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Keisler60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Leblanc60,
  author       = {Hugues Leblanc},
  title        = {On Requirements for Conditional Probability Functions},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {238--242},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964681},
  doi          = {10.2307/2964681},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Leblanc60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Levy60,
  author       = {Azriel Levy},
  title        = {A Generalization of Godel's Notion of Constructibility},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {2},
  pages        = {147--155},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964211},
  doi          = {10.2307/2964211},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Levy60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Nelson60,
  author       = {David Nelson},
  title        = {Twenty-Fifth Annual Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {1},
  pages        = {93--96},
  year         = {1960},
  url          = {https://doi.org/10.1017/S0022481200123205},
  doi          = {10.1017/S0022481200123205},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Nelson60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Nishimura60,
  author       = {Iwao Nishimura},
  title        = {On Formulas of One Variable in Intuitionistic Propositional Calculus},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {4},
  pages        = {327--331},
  year         = {1960},
  url          = {https://doi.org/10.2307/2963526},
  doi          = {10.2307/2963526},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Nishimura60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Putnam60,
  author       = {Hilary Putnam},
  title        = {An Unsolvable Problem in Number Theory},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {220--232},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964679},
  doi          = {10.2307/2964679},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Putnam60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rose60,
  author       = {Alan Rose},
  title        = {An Extension of a Theorem of Margaris},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {209--211},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964676},
  doi          = {10.2307/2964676},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rose60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rutledge60,
  author       = {Joseph D. Rutledge},
  title        = {On the Definition of an Infinitely-Many-Valued Predicate Calculus},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {212--216},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964677},
  doi          = {10.2307/2964677},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rutledge60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Salomaa60,
  author       = {Arto Salomaa},
  title        = {A Theorem Concerning the Composition of Functions of Several Variables
                  Ranging Over a Finite Set},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {203--208},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964675},
  doi          = {10.2307/2964675},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Salomaa60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Schutte60,
  author       = {Kurt Sch{\"{u}}tte},
  title        = {Syntactical and Semantical Properties of Simple Type Theory},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {4},
  pages        = {305--326},
  year         = {1960},
  url          = {https://doi.org/10.2307/2963525},
  doi          = {10.2307/2963525},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Schutte60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shoenfield60,
  author       = {Joseph R. Shoenfield},
  title        = {Degrees of Models},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {233--237},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964680},
  doi          = {10.2307/2964680},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shoenfield60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Stein60,
  author       = {Sherman K. Stein},
  title        = {Full Classes and Ordinals},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {3},
  pages        = {217--219},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964678},
  doi          = {10.2307/2964678},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Stein60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Ullian60,
  author       = {Joseph S. Ullian},
  title        = {Splinters of Recursive Functions},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {1},
  pages        = {33--38},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964335},
  doi          = {10.2307/2964335},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Ullian60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Vaught60,
  author       = {Robert L. Vaught},
  title        = {Sentences True in All Constructive Models},
  journal      = {J. Symb. Log.},
  volume       = {25},
  number       = {1},
  pages        = {39--53},
  year         = {1960},
  url          = {https://doi.org/10.2307/2964336},
  doi          = {10.2307/2964336},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Vaught60.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.