default search action
Search dblp for Publications
export results for "toc:db/journals/jsyml/jsyml11.bht:"
@article{DBLP:journals/jsyml/Barcan46, author = {Ruth C. Barcan}, title = {A Functional Calculus of First Order Based on Strict Implication}, journal = {J. Symb. Log.}, volume = {11}, number = {1}, pages = {1--16}, year = {1946}, url = {https://doi.org/10.2307/2269159}, doi = {10.2307/2269159}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/Barcan46.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Barcan46a, author = {Ruth C. Barcan}, title = {The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication}, journal = {J. Symb. Log.}, volume = {11}, number = {4}, pages = {115--118}, year = {1946}, url = {https://doi.org/10.2307/2268309}, doi = {10.2307/2268309}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/Barcan46a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Blake46, author = {Archie Blake}, title = {A Boolean Derivation of the Moore-Osgood Theorem}, journal = {J. Symb. Log.}, volume = {11}, number = {3}, pages = {65--70}, year = {1946}, url = {https://doi.org/10.2307/2266733}, doi = {10.2307/2266733}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Blake46.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Carnap46, author = {Rudolf Carnap}, title = {Modalities and Quantification}, journal = {J. Symb. Log.}, volume = {11}, number = {2}, pages = {33--64}, year = {1946}, url = {https://doi.org/10.2307/2268610}, doi = {10.2307/2268610}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Carnap46.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Heyting46, author = {Arend Heyting}, title = {On Weakened Quantification}, journal = {J. Symb. Log.}, volume = {11}, number = {4}, pages = {119--121}, year = {1946}, url = {https://doi.org/10.2307/2268310}, doi = {10.2307/2268310}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Heyting46.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Post46, author = {Emil L. Post}, title = {Note on a Conjecture of Skolem}, journal = {J. Symb. Log.}, volume = {11}, number = {3}, pages = {73--74}, year = {1946}, url = {https://doi.org/10.2307/2266735}, doi = {10.2307/2266735}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Post46.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Quine46, author = {Willard Van Orman Quine}, title = {On Relations as Coextensive with Classes}, journal = {J. Symb. Log.}, volume = {11}, number = {3}, pages = {71--72}, year = {1946}, url = {https://doi.org/10.2307/2266734}, doi = {10.2307/2266734}, timestamp = {Fri, 22 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/Quine46.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Quine46a, author = {Willard Van Orman Quine}, title = {Concatenation as a Basis for Arithmetic}, journal = {J. Symb. Log.}, volume = {11}, number = {4}, pages = {105--114}, year = {1946}, url = {https://doi.org/10.2307/2268308}, doi = {10.2307/2268308}, timestamp = {Fri, 22 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/Quine46a.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.