Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jsyml/Bergmann48,
  author       = {Gustav Bergmann},
  title        = {Contextual Definitions in Nonextensional Languages},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {3},
  pages        = {140},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267815},
  doi          = {10.2307/2267815},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bergmann48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bernays48,
  author       = {Paul Bernays},
  title        = {A System of Axiomatic Set Theory-Part {VI}},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {2},
  pages        = {65--79},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267328},
  doi          = {10.2307/2267328},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bernays48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Black48,
  author       = {Max Black},
  title        = {Tenth Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {1},
  pages        = {61--64},
  year         = {1948},
  url          = {https://doi.org/10.2307/2268170},
  doi          = {10.2307/2268170},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Black48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Copilowish48,
  author       = {Irving M. Copilowish},
  title        = {Matrix Development of the Calculus of Relations},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {4},
  pages        = {193--203},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267134},
  doi          = {10.2307/2267134},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Copilowish48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch48,
  author       = {Frederic Brenton Fitch},
  title        = {Corrections to Two Papers on Modal Logic},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {1},
  pages        = {38--39},
  year         = {1948},
  url          = {https://doi.org/10.2307/2268138},
  doi          = {10.2307/2268138},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch48a,
  author       = {Frederic Brenton Fitch},
  title        = {An Extension of Basic Logic},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {2},
  pages        = {95--106},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267330},
  doi          = {10.2307/2267330},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch48a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hallden48,
  author       = {Soren Hallden},
  title        = {A Note Concerning the Paradoxes of Strict Implication and Lewis's
                  System {S1}},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {3},
  pages        = {138--139},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267814},
  doi          = {10.2307/2267814},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hallden48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kemeny48,
  author       = {John G. Kemeny},
  title        = {Models of Logical Systems},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {1},
  pages        = {16--30},
  year         = {1948},
  url          = {https://doi.org/10.2307/2268136},
  doi          = {10.2307/2268136},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kemeny48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McKinseyT48,
  author       = {J. C. C. McKinsey and
                  Alfred Tarski},
  title        = {Some Theorems About the Sentential Calculi of Lewis and Heyting},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1--15},
  year         = {1948},
  url          = {https://doi.org/10.2307/2268135},
  doi          = {10.2307/2268135},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKinseyT48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mostowski48,
  author       = {Andrzej Mostowski},
  title        = {Proofs of Non-Deducibility in Intuitionistic Functional Calculus},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {4},
  pages        = {204--207},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267135},
  doi          = {10.2307/2267135},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mostowski48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/RosserT48,
  author       = {J. Barkley Rosser and
                  Atwell R. Turquette},
  title        = {Axiom Schemes for M-Valued Functional Calculi of First Order: Part
                  I. Definition of Axiom Schemes and Proof of Plausibility},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {4},
  pages        = {177--192},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267133},
  doi          = {10.2307/2267133},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/RosserT48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Smullyan48,
  author       = {Arthur Francis Smullyan},
  title        = {Modality and Description},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {1},
  pages        = {31--37},
  year         = {1948},
  url          = {https://doi.org/10.2307/2268137},
  doi          = {10.2307/2268137},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Smullyan48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Tarski48,
  author       = {Alfred Tarski},
  title        = {A Problem Concerning the Notion of Definability},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {2},
  pages        = {107--111},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267331},
  doi          = {10.2307/2267331},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Tarski48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Turing48,
  author       = {Alan M. Turing},
  title        = {Practical Forms of Type Theory},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {2},
  pages        = {80--94},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267329},
  doi          = {10.2307/2267329},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Turing48.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Wang48,
  author       = {Hao Wang},
  title        = {A New Theory of Element and Number},
  journal      = {J. Symb. Log.},
  volume       = {13},
  number       = {3},
  pages        = {129--137},
  year         = {1948},
  url          = {https://doi.org/10.2307/2267813},
  doi          = {10.2307/2267813},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Wang48.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.