Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jsyml/Firestone51,
  author       = {Clifford D. Firestone},
  title        = {Thirteenth Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {236--240},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266442},
  doi          = {10.2307/2266442},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Firestone51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch51,
  author       = {Frederic Brenton Fitch},
  title        = {A Demonstrably Consistent Mathematics - Part {II}},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {121--124},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266684},
  doi          = {10.2307/2266684},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hallden51,
  author       = {Soren Hallden},
  title        = {On the Semantic Non-Completeness of Certain Lewis Calculi},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {127--129},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266686},
  doi          = {10.2307/2266686},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hallden51.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}
}

@article{DBLP:journals/jsyml/Kreisel51,
  author       = {Georg Kreisel},
  title        = {On the Interpretation of Non-Finitist Proofs - Part {I}},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {4},
  pages        = {241--267},
  year         = {1951},
  url          = {https://doi.org/10.1017/S0022481200100581},
  doi          = {10.1017/S0022481200100581},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kreisel51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/LAbbe51,
  author       = {Maurice L'Abbe},
  title        = {On the Independence of Henkin's Axioms for Fragments of the Propositional
                  Calculus},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {1},
  pages        = {43--45},
  year         = {1951},
  url          = {https://doi.org/10.2307/2268664},
  doi          = {10.2307/2268664},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/LAbbe51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lorenzen51,
  author       = {Paul Lorenzen},
  title        = {Algebraische und Logistische Untersuchungen {\"{U}}ber Freie
                  Verb{\"{a}}nde},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {81--106},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266681},
  doi          = {10.2307/2266681},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lorenzen51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/MartinW51,
  author       = {R. M. Martin and
                  J. H. Woodger},
  title        = {Toward an Inscriptional Semantics},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {191--203},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266390},
  doi          = {10.2307/2266390},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MartinW51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McNaughton51,
  author       = {Robert McNaughton},
  title        = {A Theorem About Infinite-Valued Sentential Logic},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {1},
  pages        = {1--13},
  year         = {1951},
  url          = {https://doi.org/10.2307/2268660},
  doi          = {10.2307/2268660},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McNaughton51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mostowski51,
  author       = {Andrzej Mostowski},
  title        = {On the Rules of Proof in the Pure Functional Calculus of the First
                  Order},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {107--111},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266682},
  doi          = {10.2307/2266682},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mostowski51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Myhill51,
  author       = {John R. Myhill},
  title        = {Report on Some Investigations Concerning the Consistency of the Axiom
                  of Reducibility},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {1},
  pages        = {35--42},
  year         = {1951},
  url          = {https://doi.org/10.2307/2268663},
  doi          = {10.2307/2268663},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Myhill51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Myhill51a,
  author       = {John R. Myhill},
  title        = {Towards a Consistent Set-Theory},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {130--136},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266687},
  doi          = {10.2307/2266687},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Myhill51a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Robinson51,
  author       = {Raphael M. Robinson},
  title        = {Arithmetical Definability of Field Elements},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {125--126},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266685},
  doi          = {10.2307/2266685},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Robinson51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rose51,
  author       = {Alan Rose},
  title        = {Strong Completeness of Fragments of the Propositional Calculus},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {204},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266391},
  doi          = {10.2307/2266391},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rose51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/RosserT51,
  author       = {J. Barkley Rosser and
                  Atwell R. Turquette},
  title        = {Axiom Schemes for M-Valued Functional Calculi of First Order: Part
                  {II.} Deductive Completeness},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {1},
  pages        = {22--34},
  year         = {1951},
  url          = {https://doi.org/10.2307/2268662},
  doi          = {10.2307/2268662},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/RosserT51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Scroggs51,
  author       = {Schiller Joe Scroggs},
  title        = {Extensions of the Lewis System {S5}},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {2},
  pages        = {112--120},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266683},
  doi          = {10.2307/2266683},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Scroggs51.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shepherdson51,
  author       = {John C. Shepherdson},
  title        = {Inner Models for Set Theory - Part {I}},
  journal      = {J. Symb. Log.},
  volume       = {16},
  number       = {3},
  pages        = {161--190},
  year         = {1951},
  url          = {https://doi.org/10.2307/2266389},
  doi          = {10.2307/2266389},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shepherdson51.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.