Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jsyml/Ackermann56,
  author       = {Wilhelm Ackermann},
  title        = {Begrundung Einer Strengen Implikation},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {2},
  pages        = {113--128},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268750},
  doi          = {10.2307/2268750},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Ackermann56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Anderson56,
  author       = {Alan Ross Anderson},
  title        = {Independent Axiom Schemata for {S5}},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {255--256},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269098},
  doi          = {10.2307/2269098},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Anderson56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bergmann56,
  author       = {Gustav Bergmann},
  title        = {The Representations of {S5}},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {257--260},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269099},
  doi          = {10.2307/2269099},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bergmann56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Berry56,
  author       = {G. D. W. Berry},
  title        = {Twentieth Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {2},
  pages        = {216--224},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268792},
  doi          = {10.2307/2268792},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Berry56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bing56,
  author       = {Kurt Bing},
  title        = {On Simplifying Truth-Functional Formulas},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {253--254},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269097},
  doi          = {10.2307/2269097},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bing56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Cobham56,
  author       = {Alan Cobham},
  title        = {Reduction to a Symmetric Predicate},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {56--59},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268487},
  doi          = {10.2307/2268487},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Cobham56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Copi56,
  author       = {Irving M. Copi},
  title        = {Another Variant of Natural Deduction},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {52--55},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268486},
  doi          = {10.2307/2268486},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Copi56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/CopiW56,
  author       = {Irving M. Copi and
                  R. L. Wilder},
  title        = {Nineteenth Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {109--112},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268547},
  doi          = {10.2307/2268547},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/CopiW56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch56,
  author       = {Frederic Brenton Fitch},
  title        = {Recursive Functions in Basic Logic},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {4},
  pages        = {337--346},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268354},
  doi          = {10.2307/2268354},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Gandy56,
  author       = {Robin O. Gandy},
  title        = {On the Axiom of Extensionality-Part {I}},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {36--48},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268484},
  doi          = {10.2307/2268484},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Gandy56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Henkin56,
  author       = {Leon Henkin},
  title        = {Two Concepts From the Theory of Models},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {28--32},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268482},
  doi          = {10.2307/2268482},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Henkin56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/JaakkoH56,
  author       = {K. Jaakko and
                  Jaakko Hintikka},
  title        = {Identity, Variables, and Impredicative Definitions},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {225--245},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269095},
  doi          = {10.2307/2269095},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/JaakkoH56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kemeny56,
  author       = {John G. Kemeny},
  title        = {A New Approach to Semantics-Part {I}},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {1--27},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268481},
  doi          = {10.2307/2268481},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kemeny56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kemeny56a,
  author       = {John G. Kemeny},
  title        = {A New Approach to Semantics-Part {II}},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {2},
  pages        = {149--161},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268754},
  doi          = {10.2307/2268754},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kemeny56a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lemmon56,
  author       = {E. J. Lemmon},
  title        = {Alternative Postulate Sets for Lewis's {S5}},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {4},
  pages        = {347--349},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268355},
  doi          = {10.2307/2268355},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lemmon56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lob56,
  author       = {M. H. Lob},
  title        = {Formal Systems of Constructive Mathematics},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {63--75},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268489},
  doi          = {10.2307/2268489},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lob56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mendelson56,
  author       = {Elliott Mendelson},
  title        = {Some Proofs of Independence in Axiomatic Set Theory},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {291--303},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269104},
  doi          = {10.2307/2269104},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mendelson56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mendelson56a,
  author       = {Elliott Mendelson},
  title        = {The Independence of a Weak Axiom of Choice},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {4},
  pages        = {350--366},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268356},
  doi          = {10.2307/2268356},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mendelson56a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/MontagueH56,
  author       = {Richard Montague and
                  Leon Henkin},
  title        = {On the Definition of 'Formal Deduction'},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {2},
  pages        = {129--136},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268751},
  doi          = {10.2307/2268751},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MontagueH56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Myhill56,
  author       = {John R. Myhill},
  title        = {Solution of a Problem of Tarski},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {49--51},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268485},
  doi          = {10.2307/2268485},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Myhill56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Orey56,
  author       = {Steven Orey},
  title        = {On omega-Consistency and Related Properties},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {246--252},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269096},
  doi          = {10.2307/2269096},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Orey56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Orey56a,
  author       = {Steven Orey},
  title        = {On the Relative Consistency of Set Theory},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {280--290},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269103},
  doi          = {10.2307/2269103},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Orey56a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Prior56,
  author       = {A. N. Prior},
  title        = {Modality and Quantification in {S5}},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {60--62},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268488},
  doi          = {10.2307/2268488},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Prior56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine56,
  author       = {Willard Van Orman Quine},
  title        = {On Formulas with Valid Cases},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {2},
  pages        = {148},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268753},
  doi          = {10.2307/2268753},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine56a,
  author       = {Willard Van Orman Quine},
  title        = {Unification of Universes in Set Theory},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {267--279},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269102},
  doi          = {10.2307/2269102},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine56a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rice56,
  author       = {H. Gordon Rice},
  title        = {On Completely Recursively Enumerable Classes and Their Key Arrays},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {304--308},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269105},
  doi          = {10.2307/2269105},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rice56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Robinson56,
  author       = {Abraham Robinson},
  title        = {Note on a Problem of L. Henkin},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {1},
  pages        = {33--35},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268483},
  doi          = {10.2307/2268483},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Robinson56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Robinson56a,
  author       = {Raphael M. Robinson},
  title        = {Arithmetical Representation of Recursively Enumerable Sets},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {2},
  pages        = {162--186},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268755},
  doi          = {10.2307/2268755},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Robinson56a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Schwarz56,
  author       = {Gideon Schwarz},
  title        = {A Note on Transfinite Iteration},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {265--266},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269101},
  doi          = {10.2307/2269101},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Schwarz56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shepherdson56,
  author       = {John C. Shepherdson},
  title        = {On the Interpretation of Aristotelian Syllogistic},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {2},
  pages        = {137--147},
  year         = {1956},
  url          = {https://doi.org/10.2307/2268752},
  doi          = {10.2307/2268752},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shepherdson56.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shepherdson56a,
  author       = {John C. Shepherdson},
  title        = {Note on a System of Myhill},
  journal      = {J. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {261--264},
  year         = {1956},
  url          = {https://doi.org/10.2307/2269100},
  doi          = {10.2307/2269100},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shepherdson56a.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.