default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml18.bht:"
download as .bib file
@article{DBLP:journals/jsyml/Bernays53,
author = {Paul Bernays},
title = {Problems},
journal = {J. Symb. Log.},
volume = {18},
number = {4},
pages = {350},
year = {1953},
url = {https://doi.org/10.1017/S0022481200089283},
doi = {10.1017/S0022481200089283},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bernays53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Buchi53,
author = {J. Richard B{\"{u}}chi},
title = {Investigation of the Equivalence of the Axiom of Choice and Zorn's
Lemma from the Viewpoint of the Hierarchy of Types},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {125--135},
year = {1953},
url = {https://doi.org/10.2307/2268945},
doi = {10.2307/2268945},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Buchi53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chomsky53,
author = {Noam Chomsky},
title = {Systems of Syntactic Analysis},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {242--256},
year = {1953},
url = {https://doi.org/10.2307/2267409},
doi = {10.2307/2267409},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Chomsky53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Craig53,
author = {William Craig},
title = {On Axiomatizability Within a System},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {30--32},
year = {1953},
url = {https://doi.org/10.2307/2266324},
doi = {10.2307/2266324},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Craig53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Davis53,
author = {Martin Davis},
title = {Arithmetical Problems and Recursively Enumerable Predicates},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {33--41},
year = {1953},
url = {https://doi.org/10.2307/2266325},
doi = {10.2307/2266325},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Davis53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fitch53,
author = {Frederic Brenton Fitch},
title = {A Simplification of Basic Logic},
journal = {J. Symb. Log.},
volume = {18},
number = {4},
pages = {317--325},
year = {1953},
url = {https://doi.org/10.2307/2266555},
doi = {10.2307/2266555},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fitch53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodstein53,
author = {R. L. Goodstein},
title = {A Problem in Recursive Function Theory},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {225--232},
year = {1953},
url = {https://doi.org/10.2307/2267405},
doi = {10.2307/2267405},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodstein53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gottschalk53,
author = {W. H. Gottschalk},
title = {The Theory of Quaternality},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {193--196},
year = {1953},
url = {https://doi.org/10.2307/2267401},
doi = {10.2307/2267401},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gottschalk53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hailperin53,
author = {Theodore Hailperin},
title = {Quantification Theory and Empty Individual-Domains},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {197--200},
year = {1953},
url = {https://doi.org/10.2307/2267402},
doi = {10.2307/2267402},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Hailperin53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hasenjaeger53,
author = {Gisbert Hasenjaeger},
title = {Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls
der Ersten Stufe},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {42--48},
year = {1953},
url = {https://doi.org/10.2307/2266326},
doi = {10.2307/2266326},
timestamp = {Tue, 20 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hasenjaeger53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Henkin53,
author = {Leon Henkin},
title = {Some Notes on Nominalism},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {19--29},
year = {1953},
url = {https://doi.org/10.2307/2266323},
doi = {10.2307/2266323},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Henkin53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Henkin53a,
author = {Leon Henkin},
title = {Banishing the Rule of Substitution for Functional Variables},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {201--208},
year = {1953},
url = {https://doi.org/10.2307/2267403},
doi = {10.2307/2267403},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Henkin53a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kemeny53,
author = {John G. Kemeny},
title = {A Logical Measure Function},
journal = {J. Symb. Log.},
volume = {18},
number = {4},
pages = {289--308},
year = {1953},
url = {https://doi.org/10.2307/2266553},
doi = {10.2307/2266553},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kemeny53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LAbbe53,
author = {Maurice L'Abbe},
title = {Systems of Transfinite Types Involving lambda-Conversion},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {209--224},
year = {1953},
url = {https://doi.org/10.2307/2267404},
doi = {10.2307/2267404},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LAbbe53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lob53,
author = {M. H. Lob},
title = {Concatenation as Basis for a Complete System of Arithmetic},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {1--6},
year = {1953},
url = {https://doi.org/10.2307/2266320},
doi = {10.2307/2266320},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lob53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Marcus53,
author = {Ruth Barcan Marcus},
title = {Strict Implication, Deducibility and the Deduction Theorem},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {234--236},
year = {1953},
url = {https://doi.org/10.2307/2267407},
doi = {10.2307/2267407},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Marcus53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Martin53,
author = {R. M. Martin},
title = {On Truth and Multiple Denotation},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {11--18},
year = {1953},
url = {https://doi.org/10.2307/2266322},
doi = {10.2307/2266322},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Martin53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKinsey53,
author = {J. C. C. McKinsey},
title = {Systems of Modal Logic Which are Not Unreasonable in the Sense of
Hallden},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {109--113},
year = {1953},
url = {https://doi.org/10.2307/2268941},
doi = {10.2307/2268941},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McKinsey53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McNaughton53,
author = {Robert McNaughton},
title = {Some Formal Relative Consistency Proofs},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {136--144},
year = {1953},
url = {https://doi.org/10.2307/2268946},
doi = {10.2307/2268946},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McNaughton53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Myhill53,
author = {John R. Myhill},
title = {Criteria of Constructibility for Real Numbers},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {7--10},
year = {1953},
url = {https://doi.org/10.2307/2266321},
doi = {10.2307/2266321},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Myhill53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Myhill53a,
author = {John R. Myhill},
title = {On the Interpretation of the Sign 'subset of'},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {60--62},
year = {1953},
url = {https://doi.org/10.2307/2266328},
doi = {10.2307/2266328},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Myhill53a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Myhill53b,
author = {John R. Myhill},
title = {Arithmetic with Creative Definitions by Induction},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {115--118},
year = {1953},
url = {https://doi.org/10.2307/2268943},
doi = {10.2307/2268943},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Myhill53b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Prior53,
author = {A. N. Prior},
title = {On Propositions Neither Necessary Nor Impossible},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {105--108},
year = {1953},
url = {https://doi.org/10.2307/2268940},
doi = {10.2307/2268940},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Prior53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Quine53,
author = {Willard Van Orman Quine},
title = {On omega;-Inconsistency and a So-Called Axiom of Infinity},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {119--124},
year = {1953},
url = {https://doi.org/10.2307/2268944},
doi = {10.2307/2268944},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Quine53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rose53,
author = {Alan Rose},
title = {Conditioned Disjunction as a Primitive Connective for the Erweiterter
Aussagenkalkul},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {63--65},
year = {1953},
url = {https://doi.org/10.2307/2266329},
doi = {10.2307/2266329},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rose53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rose53a,
author = {Alan Rose},
title = {The M-Valued Calculus of Non-Contradiction},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {237--241},
year = {1953},
url = {https://doi.org/10.2307/2267408},
doi = {10.2307/2267408},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rose53a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shepherdson53,
author = {John C. Shepherdson},
title = {Inner Models for Set Theory - Part {III}},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {145--167},
year = {1953},
url = {https://doi.org/10.2307/2268947},
doi = {10.2307/2268947},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shepherdson53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Simons53,
author = {Leo Simons},
title = {New Axiomatizations of {S3} and {S4}},
journal = {J. Symb. Log.},
volume = {18},
number = {4},
pages = {309--316},
year = {1953},
url = {https://doi.org/10.2307/2266554},
doi = {10.2307/2266554},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Simons53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stanley53,
author = {Robert L. Stanley},
title = {An Extended Procedure in Quantificational Logic},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {97--104},
year = {1953},
url = {https://doi.org/10.2307/2268939},
doi = {10.2307/2268939},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stanley53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stanley53a,
author = {Robert L. Stanley},
title = {Note on a Paradox},
journal = {J. Symb. Log.},
volume = {18},
number = {3},
pages = {233},
year = {1953},
url = {https://doi.org/10.2307/2267406},
doi = {10.2307/2267406},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stanley53a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Turquette53,
author = {Atwell R. Turquette},
title = {Fifteenth Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {187--192},
year = {1953},
url = {https://doi.org/10.2307/2268966},
doi = {10.2307/2268966},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Turquette53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang53,
author = {Hao Wang},
title = {Certain Predicates Defined by Induction Schemata},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {49--59},
year = {1953},
url = {https://doi.org/10.2307/2266327},
doi = {10.2307/2266327},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang53a,
author = {Hao Wang},
title = {Problems},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {186},
year = {1953},
url = {https://doi.org/10.1017/S0022481200098030},
doi = {10.1017/S0022481200098030},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang53a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yuting53,
author = {Shen Yuting},
title = {Paradox of the Class of All Grounded Classes},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {114},
year = {1953},
url = {https://doi.org/10.2307/2268942},
doi = {10.2307/2268942},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Yuting53.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.
retrieved on 2024-10-06 22:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
