Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jsyml/Anderson54,
  author       = {Alan Ross Anderson},
  title        = {Improved Decision Procedures for Lewis's Calculus {S4} and Von Wright's
                  Calculus {M}},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {201--214},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268619},
  doi          = {10.2307/2268619},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Anderson54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Benes54,
  author       = {Vaclav Edvard Benes},
  title        = {A Partial Model for Quine's "New Foundations"},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {197--200},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268618},
  doi          = {10.2307/2268618},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Benes54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bernays54,
  author       = {Paul Bernays},
  title        = {A System of Axiomatic Set Theory-Part {VII}},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {2},
  pages        = {81--96},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268864},
  doi          = {10.2307/2268864},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bernays54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Collins54,
  author       = {George E. Collins},
  title        = {Distributivity and An Axiom of Choice},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {4},
  pages        = {275--277},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267734},
  doi          = {10.2307/2267734},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Collins54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fine54,
  author       = {N. J. Fine},
  title        = {Proof of a Conjecture of Goodman},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {41--44},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267649},
  doi          = {10.2307/2267649},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fine54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch54,
  author       = {Frederic Brenton Fitch},
  title        = {A Definition of Negation in Extended Basic Logic},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {29--36},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267647},
  doi          = {10.2307/2267647},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Goodstein54,
  author       = {R. L. Goodstein},
  title        = {The Recursive Irrationality of {\(\vert\)}pi},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {4},
  pages        = {267--274},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267733},
  doi          = {10.2307/2267733},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Goodstein54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hailperin54,
  author       = {Theodore Hailperin},
  title        = {Remarks on Identity and Description in First-Order Axiom Systems},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {14--20},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267645},
  doi          = {10.2307/2267645},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hailperin54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Henkin54,
  author       = {Leon Henkin},
  title        = {A Generalization of the Concept of {\(\vert\)}omega-Consistency},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {183--196},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268617},
  doi          = {10.2307/2268617},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Henkin54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kalicki54,
  author       = {Jan Kalicki},
  title        = {An Undecidable Problem in the Algebra of Truth-Tables},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {172--176},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268614},
  doi          = {10.2307/2268614},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kalicki54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Martin54,
  author       = {Norman M. Martin},
  title        = {The Sheffer Functions of 3-Valued Logic},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {45--51},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267650},
  doi          = {10.2307/2267650},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Martin54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Parry54,
  author       = {William Tuthill Parry},
  title        = {A New Symbolism for the Propositional Calculus},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {161--168},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268612},
  doi          = {10.2307/2268612},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Parry54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine54,
  author       = {Willard Van Orman Quine},
  title        = {Interpretations of Sets of Conditions},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {2},
  pages        = {97--102},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268865},
  doi          = {10.2307/2268865},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine54a,
  author       = {Willard Van Orman Quine},
  title        = {Quantification and the Empty Domain},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {177--179},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268615},
  doi          = {10.2307/2268615},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine54a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine54b,
  author       = {Willard Van Orman Quine},
  title        = {Reduction to a Dyadic Predicate},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {180--182},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268616},
  doi          = {10.2307/2268616},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine54b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rescher54,
  author       = {Nicholas Rescher},
  title        = {Leibniz's Interpretation of His Logical Calculi},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {1--13},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267644},
  doi          = {10.2307/2267644},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rescher54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Robinson54,
  author       = {Abraham Robinson},
  title        = {On Predicates in Algebraically Closed Fields},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {2},
  pages        = {103--114},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268866},
  doi          = {10.2307/2268866},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Robinson54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shaw-Kwei54,
  author       = {Moh Shaw{-}Kwei},
  title        = {Logical Paradoxes for Many-Valued Systems},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {37--40},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267648},
  doi          = {10.2307/2267648},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shaw-Kwei54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shoenfield54,
  author       = {Joseph R. Shoenfield},
  title        = {A Relative Consistency Proof},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {21--28},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267646},
  doi          = {10.2307/2267646},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shoenfield54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Standley54,
  author       = {Gerald B. Standley},
  title        = {Ideographic Computation in the Propositional Calculus},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {3},
  pages        = {169--171},
  year         = {1954},
  url          = {https://doi.org/10.2307/2268613},
  doi          = {10.2307/2268613},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Standley54.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Wang54,
  author       = {Hao Wang},
  title        = {The Formalization of Mathematics},
  journal      = {J. Symb. Log.},
  volume       = {19},
  number       = {4},
  pages        = {241--266},
  year         = {1954},
  url          = {https://doi.org/10.2307/2267732},
  doi          = {10.2307/2267732},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Wang54.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.