default search action
Search dblp for Publications
export results for "stream:streams/series/hhl:"
@book{DBLP:series/hhl/9, editor = {J{\"{o}}rg H. Siekmann}, title = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, publisher = {Elsevier}, year = {2014}, isbn = {978-0-444-51624-4}, timestamp = {Mon, 03 Apr 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/9.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Ambos-SpiesF14, author = {Klaus Ambos{-}Spies and Peter A. Fejer}, editor = {J{\"{o}}rg H. Siekmann}, title = {Degrees of Unsolvability}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {443--494}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50010-1}, doi = {10.1016/B978-0-444-51624-4.50010-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Ambos-SpiesF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/BaetenS14, author = {Jos C. M. Baeten and Davide Sangiorgi}, editor = {J{\"{o}}rg H. Siekmann}, title = {Concurrency Theory: {A} Historical Perspective on Coinduction and Process Calculi}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {399--442}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50009-5}, doi = {10.1016/B978-0-444-51624-4.50009-5}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/BaetenS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/BenzmullerM14, author = {Christoph Benzm{\"{u}}ller and Dale Miller}, editor = {J{\"{o}}rg H. Siekmann}, title = {Automation of Higher-Order Logic}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {215--254}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50005-8}, doi = {10.1016/B978-0-444-51624-4.50005-8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/BenzmullerM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Davis14, author = {Martin Davis}, editor = {J{\"{o}}rg H. Siekmann}, title = {Logic and the development of the computer}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {31--38}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50002-2}, doi = {10.1016/B978-0-444-51624-4.50002-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Davis14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/DuboisP14, author = {Didier Dubois and Henri Prade}, editor = {J{\"{o}}rg H. Siekmann}, title = {Possibilistic Logic - An Overview}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {283--342}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50007-1}, doi = {10.1016/B978-0-444-51624-4.50007-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/DuboisP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/FortnowH14, author = {Lance Fortnow and Steven Homer}, editor = {J{\"{o}}rg H. Siekmann}, title = {Computational Complexity}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {495--521}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50011-3}, doi = {10.1016/B978-0-444-51624-4.50011-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/FortnowH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Gabbay14, author = {Dov M. Gabbay}, editor = {J{\"{o}}rg H. Siekmann}, title = {What is a logical system? An evolutionary view: 1964-2014}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {41--132}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50003-4}, doi = {10.1016/B978-0-444-51624-4.50003-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Gabbay14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/HarrisonUW14, author = {John Harrison and Josef Urban and Freek Wiedijk}, editor = {J{\"{o}}rg H. Siekmann}, title = {History of Interactive Theorem Proving}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {135--214}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50004-6}, doi = {10.1016/B978-0-444-51624-4.50004-6}, timestamp = {Thu, 05 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/HarrisonUW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/HitzlerLP14, author = {Pascal Hitzler and Jens Lehmann and Axel Polleres}, editor = {J{\"{o}}rg H. Siekmann}, title = {Logics for the Semantic Web}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {679--710}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50016-2}, doi = {10.1016/B978-0-444-51624-4.50016-2}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/HitzlerLP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/KamareddineWZB14, author = {Fairouz Kamareddine and Joe B. Wells and Christoph Zengler and Henk Barendregt}, editor = {J{\"{o}}rg H. Siekmann}, title = {Computerising Mathematical Text}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {343--396}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50008-3}, doi = {10.1016/B978-0-444-51624-4.50008-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/KamareddineWZB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/KirchnerK14, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {J{\"{o}}rg H. Siekmann}, title = {Equational Logic and Rewriting}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {255--282}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50006-X}, doi = {10.1016/B978-0-444-51624-4.50006-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/KirchnerK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/KnorrH14, author = {Matthias Knorr and Pascal Hitzler}, editor = {J{\"{o}}rg H. Siekmann}, title = {Description Logics}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {659--678}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50015-0}, doi = {10.1016/B978-0-444-51624-4.50015-0}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/KnorrH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Kowalski14, author = {Robert A. Kowalski}, editor = {J{\"{o}}rg H. Siekmann}, title = {Logic Programming}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {523--569}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50012-5}, doi = {10.1016/B978-0-444-51624-4.50012-5}, timestamp = {Sat, 14 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Kowalski14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Meyer14, author = {John{-}Jules Ch. Meyer}, editor = {J{\"{o}}rg H. Siekmann}, title = {Logics for Intelligent Agents and Multi-Agent Systems}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {629--658}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50014-9}, doi = {10.1016/B978-0-444-51624-4.50014-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Meyer14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/MinkerSZ14, author = {Jack Minker and Dietmar Seipel and Carlo Zaniolo}, editor = {J{\"{o}}rg H. Siekmann}, title = {Logic and Databases: {A} History of Deductive Databases}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {571--627}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50013-7}, doi = {10.1016/B978-0-444-51624-4.50013-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/MinkerSZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Siekmann14, author = {J{\"{o}}rg H. Siekmann}, editor = {J{\"{o}}rg H. Siekmann}, title = {Computational Logic}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {15--30}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50001-0}, doi = {10.1016/B978-0-444-51624-4.50001-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Siekmann14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/SiekmannG14, author = {J{\"{o}}rg H. Siekmann and Dov M. Gabbay}, editor = {J{\"{o}}rg H. Siekmann}, title = {Editorial Note}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50019-8}, doi = {10.1016/B978-0-444-51624-4.50019-8}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/SiekmannG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/11, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, publisher = {Elsevier}, year = {2012}, isbn = {978-0-444-52937-4}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/6, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, publisher = {Elsevier}, year = {2012}, isbn = {978-0-444-51621-3}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/6.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/AsmusR12, author = {Conrad Asmus and Greg Restall}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of The Consequence Relations}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {11--61}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50001-0}, doi = {10.1016/B978-0-444-52937-4.50001-0}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/AsmusR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Bell12, author = {John L. Bell}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Types, Sets, and Categories}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {633--687}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50009-8}, doi = {10.1016/B978-0-444-51621-3.50009-8}, timestamp = {Thu, 09 Jul 2020 09:13:36 +0200}, biburl = {https://dblp.org/rec/series/hhl/Bell12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Beziau12, author = {Jean{-}Yves B{\'{e}}ziau}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of Truth-Values}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {235--307}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50005-8}, doi = {10.1016/B978-0-444-52937-4.50005-8}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Beziau12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Bonevac12, author = {Daniel Bonevac}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of Quantification}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {63--126}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50002-2}, doi = {10.1016/B978-0-444-52937-4.50002-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Bonevac12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/BonevacD12, author = {Daniel Bonevac and Josh Dever}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of The Connectives}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {175--233}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50004-6}, doi = {10.1016/B978-0-444-52937-4.50004-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/BonevacD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayPW12, author = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {Preface}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50017-4}, doi = {10.1016/B978-0-444-52937-4.50017-4}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayPW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/HolmesFL12, author = {M. Randall Holmes and Thomas E. Forster and Thierry Libert}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Alternative Set Theories}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {559--632}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50008-6}, doi = {10.1016/B978-0-444-51621-3.50008-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/HolmesFL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/KamareddineLC12, author = {Fairouz Kamareddine and Twan Laan and Robert L. Constable}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Russell's Orders in Kripke's Theory of Truth and Computational Type Theory}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {801--845}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50011-6}, doi = {10.1016/B978-0-444-51621-3.50011-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/KamareddineLC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/KamareddineLN12, author = {Fairouz Kamareddine and Twan Laan and Rob Nederpelt}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of Types\({}^{\mbox{*}}\)}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {451--511}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50009-5}, doi = {10.1016/B978-0-444-52937-4.50009-5}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/KamareddineLN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Kanamori12, author = {Akihiro Kanamori}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Set Theory from Cantor to Cohen}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {1--71}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50001-3}, doi = {10.1016/B978-0-444-51621-3.50001-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Kanamori12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Kanamori12a, author = {Akihiro Kanamori}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Large Cardinals with Forcing}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {359--413}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50004-9}, doi = {10.1016/B978-0-444-51621-3.50004-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Kanamori12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Knuuttila12, author = {Simo Knuuttila}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of Modal Traditions}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {309--339}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50006-X}, doi = {10.1016/B978-0-444-52937-4.50006-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Knuuttila12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Kojman12, author = {Menachem Kojman}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Singular Cardinals: From Hausdorff's Gaps to Shelah's {PCF} Theory}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {509--558}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50007-4}, doi = {10.1016/B978-0-444-51621-3.50007-4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Kojman12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Larson12, author = {Jean A. Larson}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Infinite Combinatorics}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {145--357}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50003-7}, doi = {10.1016/B978-0-444-51621-3.50003-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Larson12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Larson12a, author = {Paul B. Larson}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {A Brief History of Determinacy}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {457--507}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50006-2}, doi = {10.1016/B978-0-444-51621-3.50006-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Larson12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/MarquisR12, author = {Jean{-}Pierre Marquis and Gonzalo E. Reyes}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {The History of Categorical Logic: 1963-1977}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {689--800}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50010-4}, doi = {10.1016/B978-0-444-51621-3.50010-4}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/MarquisR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/McCall12, author = {Storrs McCall}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History Of Connexivity}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {415--449}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50008-3}, doi = {10.1016/B978-0-444-52937-4.50008-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/McCall12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Mitchell12, author = {William J. Mitchell}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {Inner Models for Large Cardinals}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {415--456}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50005-0}, doi = {10.1016/B978-0-444-51621-3.50005-0}, timestamp = {Fri, 16 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Mitchell12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/MoktefiS12, author = {Amirouche Moktefi and Sun{-}Joo Shin}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of Logic Diagrams}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {611--682}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50011-3}, doi = {10.1016/B978-0-444-52937-4.50011-3}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/MoktefiS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/PelletierH12, author = {Francis Jeffry Pelletier and Allen P. Hazen}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of Natural Deduction}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {341--414}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50007-1}, doi = {10.1016/B978-0-444-52937-4.50007-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/PelletierH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/SperanzaH12, author = {J. L. Speranza and Laurence R. Horn}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {History of Negation}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {127--173}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50003-4}, doi = {10.1016/B978-0-444-52937-4.50003-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/SperanzaH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Steprans12, author = {Juris Steprans}, editor = {Dov M. Gabbay and Akihiro Kanamori and John Woods}, title = {History of the Continuum in the 20\({}^{\mbox{th}}\) Century}, booktitle = {Sets and Extensions in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {6}, pages = {73--144}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-51621-3.50002-5}, doi = {10.1016/B978-0-444-51621-3.50002-5}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Steprans12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Woods12, author = {John Woods}, editor = {Dov M. Gabbay and Francis Jeffry Pelletier and John Woods}, title = {A History of the Fallacies in Western Logic\({}^{\mbox{1}}\)}, booktitle = {Logic: {A} History of its Central Concepts}, series = {Handbook of the History of Logic}, volume = {11}, pages = {513--610}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/B978-0-444-52937-4.50010-1}, doi = {10.1016/B978-0-444-52937-4.50010-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Woods12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/10, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/c2009-0-16928-3}, doi = {10.1016/C2009-0-16928-3}, isbn = {978-0-444-52936-7}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/ChaterOHH11, author = {Nick Chater and Mike Oaksford and Ulrike Hahn and Evan Heit}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Inductive Logic and Empirical Psychology}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {553--624}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50014-8}, doi = {10.1016/B978-0-444-52936-7.50014-8}, timestamp = {Thu, 09 Jul 2020 09:13:36 +0200}, biburl = {https://dblp.org/rec/series/hhl/ChaterOHH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/EberhardtG11, author = {Frederick Eberhardt and Clark Glymour}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Hans Reichenbach's Probability Logic}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {357--389}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50010-0}, doi = {10.1016/B978-0-444-52936-7.50010-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/EberhardtG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Forster11, author = {Malcolm R. Forster}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {The Debate between Whewell and Mill on the Nature of Scientific Induction}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {93--115}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50003-3}, doi = {10.1016/B978-0-444-52936-7.50003-3}, timestamp = {Fri, 13 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Forster11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Galavotti11, author = {Maria Carla Galavotti}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {The Modern Epistemic Interpretations of Probability: Logicism and Subjectivism}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {153--203}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50005-7}, doi = {10.1016/B978-0-444-52936-7.50005-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Galavotti11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Jonathan11, author = {Jonathan Weisberg}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Varieties of Bayesianism}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {477--551}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50013-6}, doi = {10.1016/B978-0-444-52936-7.50013-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Jonathan11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Joyce11, author = {James M. Joyce}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {The Development of Subjective Bayesianism}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {415--475}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50012-4}, doi = {10.1016/B978-0-444-52936-7.50012-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Joyce11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Lange11, author = {Marc Lange}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Hume and the Problem of Induction}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {43--91}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50002-1}, doi = {10.1016/B978-0-444-52936-7.50002-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Lange11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/LuxburgS11, author = {Ulrike von Luxburg and Bernhard Sch{\"{o}}lkopf}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Statistical Learning Theory: Models, Concepts, and Results}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {651--706}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50016-1}, doi = {10.1016/B978-0-444-52936-7.50016-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/LuxburgS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Milton11, author = {J. R. Milton}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Induction before Hume}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {1--41}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50001-X}, doi = {10.1016/B978-0-444-52936-7.50001-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Milton11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Musgrave11, author = {Alan Musgrave}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Popper and Hypothetico-deductivism}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {205--234}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50006-9}, doi = {10.1016/B978-0-444-52936-7.50006-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Musgrave11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Niiniluoto11, author = {Ilkka Niiniluoto}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {The Development of the Hintikka Program}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {311--356}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50009-4}, doi = {10.1016/B978-0-444-52936-7.50009-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Niiniluoto11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/OrtnerL11, author = {Ronald Ortner and Hannes Leitgeb}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Mechanizing Induction}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {719--772}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50018-5}, doi = {10.1016/B978-0-444-52936-7.50018-5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/OrtnerL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/OshersonW11, author = {Daniel N. Osherson and Scott Weinstein}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Formal Learning Theory in Context}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {707--717}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50017-3}, doi = {10.1016/B978-0-444-52936-7.50017-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/OshersonW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Psillos11, author = {Stathis Psillos}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {An Explorer upon Untrodden Ground: Peirce on Abduction}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {117--151}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50004-5}, doi = {10.1016/B978-0-444-52936-7.50004-5}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Psillos11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Romeijn11, author = {Jan{-}Willem Romeijn}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Inductive Logic and Statistics}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {625--650}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50015-X}, doi = {10.1016/B978-0-444-52936-7.50015-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Romeijn11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Schwartz11, author = {Robert Schwartz}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Goodman and the Demise of Syntactic and Semantic Models}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {391--413}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50011-2}, doi = {10.1016/B978-0-444-52936-7.50011-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Schwartz11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Sprenger11, author = {Jan Sprenger}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Hempel and the Paradoxes of Confirmation}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {235--263}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50007-0}, doi = {10.1016/B978-0-444-52936-7.50007-0}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Sprenger11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Zabell11, author = {Sandy L. Zabell}, editor = {Dov M. Gabbay and Stephan Hartmann and John Woods}, title = {Carnap and the Logic of Inductive Inference}, booktitle = {Inductive Logic}, series = {Handbook of the History of Logic}, volume = {10}, pages = {265--309}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/B978-0-444-52936-7.50008-2}, doi = {10.1016/B978-0-444-52936-7.50008-2}, timestamp = {Mon, 21 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Zabell11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/5, editor = {Dov M. Gabbay and John Woods}, title = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, publisher = {Elsevier}, year = {2009}, isbn = {978-0-444-51620-6}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/5.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/AttenK09, author = {Mark van Atten and Juliette Kennedy}, editor = {Dov M. Gabbay and John Woods}, title = {G{\"{o}}del's Logic}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {449--509}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70014-7}, doi = {10.1016/S1874-5857(09)70014-7}, timestamp = {Thu, 09 Jul 2020 09:13:36 +0200}, biburl = {https://dblp.org/rec/series/hhl/AttenK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Cantini09, author = {Andrea Cantini}, editor = {Dov M. Gabbay and John Woods}, title = {Paradoxes, Self-Reference and Truth in the 20th Century}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {875--1013}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70020-2}, doi = {10.1016/S1874-5857(09)70020-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Cantini09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/CardoneH09, author = {Felice Cardone and J. Roger Hindley}, editor = {Dov M. Gabbay and John Woods}, title = {Lambda-Calculus and Combinators in the 20th Century}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {723--817}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70018-4}, doi = {10.1016/S1874-5857(09)70018-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/CardoneH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/FenstadW09, author = {Jens Erik Fenstad and Hao Wang}, editor = {Dov M. Gabbay and John Woods}, title = {Thoralf Albert Skolem}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {127--194}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70008-1}, doi = {10.1016/S1874-5857(09)70008-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/FenstadW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayW09, author = {Dov M. Gabbay and John Woods}, editor = {Dov M. Gabbay and John Woods}, title = {Preface}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70003-2}, doi = {10.1016/S1874-5857(09)70003-2}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Irvine09, author = {Andrew David Irvine}, editor = {Dov M. Gabbay and John Woods}, title = {Bertrand Russell's Logic}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {1--28}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70005-6}, doi = {10.1016/S1874-5857(09)70005-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Irvine09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Jacquette09, author = {Dale Jacquette}, editor = {Dov M. Gabbay and John Woods}, title = {Logic for Meinongian Object Theory Semantics}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {29--76}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70006-8}, doi = {10.1016/S1874-5857(09)70006-8}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Jacquette09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Moschovakis09, author = {Joan Rand Moschovakis}, editor = {Dov M. Gabbay and John Woods}, title = {The Logic of Brouwer and Heyting}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {77--125}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70007-X}, doi = {10.1016/S1874-5857(09)70007-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Moschovakis09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Plato09, author = {Jan von Plato}, editor = {Dov M. Gabbay and John Woods}, title = {Gentzen's Logic}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {667--721}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70017-2}, doi = {10.1016/S1874-5857(09)70017-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Plato09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Potter09, author = {Michael Potter}, editor = {Dov M. Gabbay and John Woods}, title = {The Logic of The Tractatus}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {255--304}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70010-X}, doi = {10.1016/S1874-5857(09)70010-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Potter09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Seldin09, author = {Jonathan P. Seldin}, editor = {Dov M. Gabbay and John Woods}, title = {The Logic of Church and Curry}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {819--873}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70019-6}, doi = {10.1016/S1874-5857(09)70019-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Seldin09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Sieg09, author = {Wilfried Sieg}, editor = {Dov M. Gabbay and John Woods}, title = {Hilbert's Proof Theory}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {321--384}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70012-3}, doi = {10.1016/S1874-5857(09)70012-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Sieg09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Simmons09, author = {Keith Simmons}, editor = {Dov M. Gabbay and John Woods}, title = {Tarski's Logic}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {511--616}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70015-9}, doi = {10.1016/S1874-5857(09)70015-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Simmons09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Simons09, author = {Peter M. Simons}, editor = {Dov M. Gabbay and John Woods}, title = {Le{\'{s}}niewski's Logic}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {305--320}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70011-1}, doi = {10.1016/S1874-5857(09)70011-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Simons09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Slater09, author = {Barry Hartley Slater}, editor = {Dov M. Gabbay and John Woods}, title = {Hilbert's Epsilon Calculus and its Successors}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {385--448}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70013-5}, doi = {10.1016/S1874-5857(09)70013-5}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Slater09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Urquhart09, author = {Alasdair Urquhart}, editor = {Dov M. Gabbay and John Woods}, title = {Emil Post}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {617--666}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70016-0}, doi = {10.1016/S1874-5857(09)70016-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Urquhart09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/WirthSBA09, author = {Claus{-}Peter Wirth and J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Serge Autexier}, editor = {Dov M. Gabbay and John Woods}, title = {Jacques Herbrand: Life, Logic, and Automated Deduction}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {195--254}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70009-3}, doi = {10.1016/S1874-5857(09)70009-3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/WirthSBA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/2, editor = {Dov M. Gabbay and John Woods}, title = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, publisher = {Elsevier}, year = {2008}, isbn = {978-0-444-51625-1}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/4, editor = {Dov M. Gabbay and John Woods}, title = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, publisher = {Elsevier}, year = {2008}, isbn = {978-0-444-51610-7}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/4.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Ashworth08, author = {Earline Jennifer Ashworth}, editor = {Dov M. Gabbay and John Woods}, title = {Developments in the Fifteenth and Sixteenth Centuries}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {609--643}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80032-5}, doi = {10.1016/S1874-5857(08)80032-5}, timestamp = {Thu, 09 Jul 2020 09:13:36 +0200}, biburl = {https://dblp.org/rec/series/hhl/Ashworth08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Dvorak08, author = {Petr Dvorak}, editor = {Dov M. Gabbay and John Woods}, title = {Relational Logic of Juan Caramuel}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {645--665}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80033-7}, doi = {10.1016/S1874-5857(08)80033-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Dvorak08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Evra08, author = {James W. van Evra}, editor = {Dov M. Gabbay and John Woods}, title = {Richard Whately and logical theory}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {75--91}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80006-4}, doi = {10.1016/S1874-5857(08)80006-4}, timestamp = {Thu, 09 Jul 2020 09:13:36 +0200}, biburl = {https://dblp.org/rec/series/hhl/Evra08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Evra08a, author = {James W. van Evra}, editor = {Dov M. Gabbay and John Woods}, title = {John Venn and logical theory}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {507--513}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80014-3}, doi = {10.1016/S1874-5857(08)80014-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Evra08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayW08, author = {Dov M. Gabbay and John Woods}, editor = {Dov M. Gabbay and John Woods}, title = {Preface}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80002-7}, doi = {10.1016/S1874-5857(08)80002-7}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayW08a, author = {Dov M. Gabbay and John Woods}, editor = {Dov M. Gabbay and John Woods}, title = {Preface}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80020-9}, doi = {10.1016/S1874-5857(08)80020-9}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayW08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/HobartR08, author = {Michael E. Hobart and Joan L. Richards}, editor = {Dov M. Gabbay and John Woods}, title = {De Morgan's logic}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {283--329}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80010-6}, doi = {10.1016/S1874-5857(08)80010-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/HobartR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Jacquette08, author = {Dale Jacquette}, editor = {Dov M. Gabbay and John Woods}, title = {Boole's logic}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {331--379}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80011-8}, doi = {10.1016/S1874-5857(08)80011-8}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Jacquette08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Jessop08, author = {Ralph Jessop}, editor = {Dov M. Gabbay and John Woods}, title = {The logic of sir William Hamilton: Tunnelling through sand to place the keystone in the aristotelic arch}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {93--162}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80007-6}, doi = {10.1016/S1874-5857(08)80007-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Jessop08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Klima08, author = {Gyula Klima}, editor = {Dov M. Gabbay and John Woods}, title = {The nominalist semantics of Ockham and Buridan: {A} "rational reconstruction"}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {389--431}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80028-3}, doi = {10.1016/S1874-5857(08)80028-3}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Klima08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Knuuttila08, author = {Simo Knuuttila}, editor = {Dov M. Gabbay and John Woods}, title = {Medieval Modal Theories and Modal Logic}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {505--578}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80030-1}, doi = {10.1016/S1874-5857(08)80030-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Knuuttila08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Lagerlund08, author = {Henrik Lagerlund}, editor = {Dov M. Gabbay and John Woods}, title = {The Assimilation of Aristotelian and Arabic Logic up to the Later Thirteenth Century}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {281--346}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80026-X}, doi = {10.1016/S1874-5857(08)80026-X}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Lagerlund08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Lecq08, author = {Ria van der Lecq}, editor = {Dov M. Gabbay and John Woods}, title = {Logic and theories of meaning in the late 13\({}^{\mbox{th}}\) and early 14\({}^{\mbox{th}}\) century including the modistae}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {347--388}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80027-1}, doi = {10.1016/S1874-5857(08)80027-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Lecq08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Mander08, author = {William J. Mander}, editor = {Dov M. Gabbay and John Woods}, title = {Bradley's logic}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {663--717}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80018-0}, doi = {10.1016/S1874-5857(08)80018-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Mander08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Marenbon08, author = {John Marenbon}, editor = {Dov M. Gabbay and John Woods}, title = {The Latin Tradition of Logic to 1100}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {1--63}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80022-2}, doi = {10.1016/S1874-5857(08)80022-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Marenbon08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Marenbon08a, author = {John Marenbon}, editor = {Dov M. Gabbay and John Woods}, title = {Logic at the Turn of the Twelfth Century}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {65--81}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80023-4}, doi = {10.1016/S1874-5857(08)80023-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Marenbon08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/McOuatV08, author = {Gordon R. McOuat and Charissa S. Varma}, editor = {Dov M. Gabbay and John Woods}, title = {Bentham's logic}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {1--32}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80004-0}, doi = {10.1016/S1874-5857(08)80004-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/McOuatV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Milnes08, author = {Tim Milnes}, editor = {Dov M. Gabbay and John Woods}, title = {Coleridge's logic}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {33--74}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80005-2}, doi = {10.1016/S1874-5857(08)80005-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Milnes08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Moktefi08, author = {Amirouche Moktefi}, editor = {Dov M. Gabbay and John Woods}, title = {Lewis Carroll's logic}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {457--505}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80013-1}, doi = {10.1016/S1874-5857(08)80013-1}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Moktefi08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/MosselmansM08, author = {Bert Mosselmans and Ard Van Moer}, editor = {Dov M. Gabbay and John Woods}, title = {William Stanley Jevons and the substitution of similars}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {515--531}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80015-5}, doi = {10.1016/S1874-5857(08)80015-5}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/MosselmansM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Novaes08, author = {Catarina Dutilh Novaes}, editor = {Dov M. Gabbay and John Woods}, title = {Logic in the 14\({}^{\mbox{th}}\) century after Ockham}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {433--504}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80029-5}, doi = {10.1016/S1874-5857(08)80029-5}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Novaes08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Panteki08, author = {Maria Panteki}, editor = {Dov M. Gabbay and John Woods}, title = {French 'logique' and British 'logic': On the origins of augustus de Morgan's early logical inquiries, 1805-1835}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {381--456}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80012-X}, doi = {10.1016/S1874-5857(08)80012-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Panteki08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Parsons08, author = {Terence Parsons}, editor = {Dov M. Gabbay and John Woods}, title = {The development of supposition theory in the later 12\({}^{\mbox{th}}\) through 14\({}^{\mbox{th}}\) centuries}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {157--280}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80025-8}, doi = {10.1016/S1874-5857(08)80025-8}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Parsons08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/RahmanR08, author = {Shahid Rahman and Juan Redmond}, editor = {Dov M. Gabbay and John Woods}, title = {Hugh Maccoll and the birth of logical pluralism}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {533--604}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80016-7}, doi = {10.1016/S1874-5857(08)80016-7}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/RahmanR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Snyder08, author = {Laura J. Snyder}, editor = {Dov M. Gabbay and John Woods}, title = {"The whole box of tools": William Whewell and the logic of induction}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {163--228}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80008-8}, doi = {10.1016/S1874-5857(08)80008-8}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Snyder08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Sullivan08, author = {David Sullivan}, editor = {Dov M. Gabbay and John Woods}, title = {The Idealists}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {605--661}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80017-9}, doi = {10.1016/S1874-5857(08)80017-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Sullivan08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Wahl08, author = {Russell Wahl}, editor = {Dov M. Gabbay and John Woods}, title = {Port Royal: The Stirrings of Modernity}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {667--699}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80034-9}, doi = {10.1016/S1874-5857(08)80034-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Wahl08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Wilks08, author = {Ian Wilks}, editor = {Dov M. Gabbay and John Woods}, title = {Peter Abelard and his Contemporaries}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {83--156}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80024-6}, doi = {10.1016/S1874-5857(08)80024-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Wilks08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Wilson08, author = {Fred Wilson}, editor = {Dov M. Gabbay and John Woods}, title = {The logic of John Stuart Mill}, booktitle = {British Logic in the Nineteenth Century}, series = {Handbook of the History of Logic}, volume = {4}, pages = {229--281}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80009-X}, doi = {10.1016/S1874-5857(08)80009-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Wilson08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Yrjonsuuri08, author = {Mikko Yrj{\"{o}}nsuuri}, editor = {Dov M. Gabbay and John Woods}, title = {Treatments of the paradoxes of self-reference}, booktitle = {Mediaeval and Renaissance Logic}, series = {Handbook of the History of Logic}, volume = {2}, pages = {579--608}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1874-5857(08)80031-3}, doi = {10.1016/S1874-5857(08)80031-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Yrjonsuuri08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/8, editor = {Dov M. Gabbay and John Woods}, title = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, publisher = {Elsevier}, year = {2007}, isbn = {978-0-444-51623-7}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/8.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/AntoniouW07, author = {Grigoris Antoniou and Kewen Wang}, editor = {Dov M. Gabbay and John Woods}, title = {Default logic}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {517--555}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80011-2}, doi = {10.1016/S1874-5857(07)80011-2}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/AntoniouW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Bochman07, author = {Alexander Bochman}, editor = {Dov M. Gabbay and John Woods}, title = {Nonmonotonic reasoning}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {557--632}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80012-4}, doi = {10.1016/S1874-5857(07)80012-4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Bochman07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Brown07, author = {Bryson Brown}, editor = {Dov M. Gabbay and John Woods}, title = {Preservationism: a short history}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {95--127}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80005-7}, doi = {10.1016/S1874-5857(07)80005-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Brown07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/ChiaraGR07, author = {Maria Luisa Dalla Chiara and Roberto Giuntini and Mikl{\'{o}}s R{\'{e}}dei}, editor = {Dov M. Gabbay and John Woods}, title = {The history of quantum logic}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {205--283}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80007-0}, doi = {10.1016/S1874-5857(07)80007-0}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/ChiaraGR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/DuboisEGP07, author = {Didier Dubois and Francesc Esteva and Llu{\'{\i}}s Godo and Henri Prade}, editor = {Dov M. Gabbay and John Woods}, title = {Fuzzy-set based logics - an history-oriented presentation of their main developments}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {325--449}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80009-4}, doi = {10.1016/S1874-5857(07)80009-4}, timestamp = {Fri, 05 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/DuboisEGP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayW07, author = {Dov M. Gabbay and John Woods}, editor = {Dov M. Gabbay and John Woods}, title = {Preface}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80002-1}, doi = {10.1016/S1874-5857(07)80002-1}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Hyde07, author = {Dominic Hyde}, editor = {Dov M. Gabbay and John Woods}, title = {Logics of vagueness}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {285--324}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80008-2}, doi = {10.1016/S1874-5857(07)80008-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Hyde07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Malinowski07, author = {Grzegorz Malinowski}, editor = {Dov M. Gabbay and John Woods}, title = {Many-valued logic and its philosophy}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {13--94}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80004-5}, doi = {10.1016/S1874-5857(07)80004-5}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Malinowski07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Posy07, author = {Carl J. Posy}, editor = {Dov M. Gabbay and John Woods}, title = {Free logics}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {633--680}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80013-6}, doi = {10.1016/S1874-5857(07)80013-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Posy07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Priest07, author = {Graham Priest}, editor = {Dov M. Gabbay and John Woods}, title = {Paraconsistency and dialetheism}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {129--204}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80006-9}, doi = {10.1016/S1874-5857(07)80006-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Priest07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Schlechta07, author = {Karl Schlechta}, editor = {Dov M. Gabbay and John Woods}, title = {Nonmonotonic logics: a preferential approach}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {451--516}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80010-0}, doi = {10.1016/S1874-5857(07)80010-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Schlechta07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/7, editor = {Dov M. Gabbay and John Woods}, title = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, publisher = {Elsevier}, year = {2006}, isbn = {978-0-444-51622-0}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/7.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Devlin06, author = {Keith Devlin}, editor = {Dov M. Gabbay and John Woods}, title = {Situation theory and situation semantics}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {601--664}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80034-8}, doi = {10.1016/S1874-5857(06)80034-8}, timestamp = {Thu, 09 Jul 2020 09:13:37 +0200}, biburl = {https://dblp.org/rec/series/hhl/Devlin06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/EijckS06, author = {Jan van Eijck and Martin Stokhof}, editor = {Dov M. Gabbay and John Woods}, title = {The gamut of dynamic logics}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {499--600}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80033-6}, doi = {10.1016/S1874-5857(06)80033-6}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/EijckS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayW06, author = {Dov M. Gabbay and John Woods}, editor = {Dov M. Gabbay and John Woods}, title = {Preface}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80025-7}, doi = {10.1016/S1874-5857(06)80025-7}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GochetG06, author = {Paul Gochet and E. Pascal Gribomont}, editor = {Dov M. Gabbay and John Woods}, title = {Epistemic logic}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {99--195}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80028-2}, doi = {10.1016/S1874-5857(06)80028-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GochetG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Goldblatt06, author = {Robert Goldblatt}, editor = {Dov M. Gabbay and John Woods}, title = {Mathematical modal logic: {A} view of its evolution}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {1--98}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80027-0}, doi = {10.1016/S1874-5857(06)80027-0}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Goldblatt06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Krabbe06, author = {Erik C. W. Krabbe}, editor = {Dov M. Gabbay and John Woods}, title = {Dialogue logic}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {665--704}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80035-X}, doi = {10.1016/S1874-5857(06)80035-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Krabbe06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/McNamara06, author = {Paul McNamara}, editor = {Dov M. Gabbay and John Woods}, title = {Deontic logic}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {197--288}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80029-4}, doi = {10.1016/S1874-5857(06)80029-4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/McNamara06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/OhrstromH06, author = {Peter {\O}hrstr{\o}m and Per F. V. Hasle}, editor = {Dov M. Gabbay and John Woods}, title = {{A.N.} Prior's logic}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {399--446}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80031-2}, doi = {10.1016/S1874-5857(06)80031-2}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/OhrstromH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/OhrstromH06a, author = {Peter {\O}hrstr{\o}m and Per F. V. Hasle}, editor = {Dov M. Gabbay and John Woods}, title = {Modern temporal logic: The philosophical background}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {447--498}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80032-4}, doi = {10.1016/S1874-5857(06)80032-4}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/OhrstromH06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Restall06, author = {Greg Restall}, editor = {Dov M. Gabbay and John Woods}, title = {Relevant and substructural logics}, booktitle = {Logic and the Modalities in the Twentieth Century}, series = {Handbook of the History of Logic}, volume = {7}, pages = {289--398}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/S1874-5857(06)80030-0}, doi = {10.1016/S1874-5857(06)80030-0}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/hhl/Restall06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/1, editor = {Dov M. Gabbay and John Woods}, title = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, publisher = {Elsevier}, year = {2004}, isbn = {978-0-444-50466-1}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/hhl/3, editor = {Dov M. Gabbay and John Woods}, title = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, publisher = {Elsevier}, year = {2004}, isbn = {978-0-444-51611-4}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Burbidge04, author = {John W. Burbidge}, editor = {Dov M. Gabbay and John Woods}, title = {Hegel's logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {131--175}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80016-5}, doi = {10.1016/S1874-5857(04)80016-5}, timestamp = {Thu, 09 Jul 2020 09:13:36 +0200}, biburl = {https://dblp.org/rec/series/hhl/Burbidge04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayW04, author = {Dov M. Gabbay and John Woods}, editor = {Dov M. Gabbay and John Woods}, title = {Preface}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80012-8}, doi = {10.1016/S1874-5857(04)80012-8}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Grattan-Guinness04, author = {Ivor Grattan{-}Guinness}, editor = {Dov M. Gabbay and John Woods}, title = {The mathematical turns in logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {545--556}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80021-9}, doi = {10.1016/S1874-5857(04)80021-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Grattan-Guinness04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Hailperin04, author = {Theodore Hailperin}, editor = {Dov M. Gabbay and John Woods}, title = {Algebraical logic 1685-1900}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {323--388}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80019-0}, doi = {10.1016/S1874-5857(04)80019-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Hailperin04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Hilpinen04, author = {Risto Hilpinen}, editor = {Dov M. Gabbay and John Woods}, title = {Peirce's logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {611--658}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80023-2}, doi = {10.1016/S1874-5857(04)80023-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Hilpinen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Lenzen04, author = {Wolfgang Lenzen}, editor = {Dov M. Gabbay and John Woods}, title = {Leibniz's logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {1--83}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80014-1}, doi = {10.1016/S1874-5857(04)80014-1}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Lenzen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Peckhaus04, author = {Volker Peckhaus}, editor = {Dov M. Gabbay and John Woods}, title = {Schr{\"{o}}der's logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {557--609}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80022-0}, doi = {10.1016/S1874-5857(04)80022-0}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Peckhaus04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/RusnockG04, author = {Paul Rusnock and Rolf George}, editor = {Dov M. Gabbay and John Woods}, title = {Bolzano as logician}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {177--205}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80017-7}, doi = {10.1016/S1874-5857(04)80017-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/RusnockG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Sullivan04, author = {Peter M. Sullivan}, editor = {Dov M. Gabbay and John Woods}, title = {Frege's logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {659--750}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80024-4}, doi = {10.1016/S1874-5857(04)80024-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Sullivan04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Tieszen04, author = {Richard Tieszen}, editor = {Dov M. Gabbay and John Woods}, title = {Husserl's logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {207--321}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80018-9}, doi = {10.1016/S1874-5857(04)80018-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Tieszen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Tiles04, author = {Mary Tiles}, editor = {Dov M. Gabbay and John Woods}, title = {Kant: From general to transcendental logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {85--130}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80015-3}, doi = {10.1016/S1874-5857(04)80015-3}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Tiles04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Valencia04, author = {Victor S{\'{a}}nchez Valencia}, editor = {Dov M. Gabbay and John Woods}, title = {The algebra of logic}, booktitle = {The Rise of Modern Logic: From Leibniz to Frege}, series = {Handbook of the History of Logic}, volume = {3}, pages = {389--544}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/S1874-5857(04)80020-7}, doi = {10.1016/S1874-5857(04)80020-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Valencia04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Boger01, author = {George Boger}, editor = {Dov M. Gabbay and John Woods}, title = {Aristotle's underlying logic}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {101--246}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80005-0}, doi = {10.1016/S1874-5857(04)80005-0}, timestamp = {Thu, 09 Jul 2020 09:13:36 +0200}, biburl = {https://dblp.org/rec/series/hhl/Boger01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Burnett01, author = {Charles Burnett}, editor = {Dov M. Gabbay and John Woods}, title = {The translation of arabic works on logic into latin in the middle ages and the renaissance}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {597--606}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80010-4}, doi = {10.1016/S1874-5857(04)80010-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Burnett01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/GabbayW01, author = {Dov M. Gabbay and John Woods}, editor = {Dov M. Gabbay and John Woods}, title = {Preface}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80001-3}, doi = {10.1016/S1874-5857(04)80001-3}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/GabbayW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Ganeri01, author = {Jonardon Ganeri}, editor = {Dov M. Gabbay and John Woods}, title = {Indian logic}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {309--395}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80007-4}, doi = {10.1016/S1874-5857(04)80007-4}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Ganeri01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Johnson01, author = {Fred Johnson}, editor = {Dov M. Gabbay and John Woods}, title = {Aristotle's modal syllogisms}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {247--307}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80006-2}, doi = {10.1016/S1874-5857(04)80006-2}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Johnson01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Moravcsik01, author = {Julius Moravcsik}, editor = {Dov M. Gabbay and John Woods}, title = {Logic before Aristotle: Development or birth?}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {1--25}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80003-7}, doi = {10.1016/S1874-5857(04)80003-7}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Moravcsik01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/OTooleJ01, author = {Robert R. O'Toole and Raymond E. Jennings}, editor = {Dov M. Gabbay and John Woods}, title = {The megarians and the stoics}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {397--522}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80008-6}, doi = {10.1016/S1874-5857(04)80008-6}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/OTooleJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/Street01, author = {Tony Street}, editor = {Dov M. Gabbay and John Woods}, title = {Arabic logic}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {523--596}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80009-8}, doi = {10.1016/S1874-5857(04)80009-8}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/Street01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/WoodsI01, author = {John Hayden Woods and Andrew Irvine}, editor = {Dov M. Gabbay and John Woods}, title = {Aristotle's early logic}, booktitle = {Greek, Indian and Arabic Logic}, series = {Handbook of the History of Logic}, volume = {1}, pages = {27--99}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1874-5857(04)80004-9}, doi = {10.1016/S1874-5857(04)80004-9}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/WoodsI01.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.