for Journals by Title or ISSN
for Articles by Keywords
help

Publisher: Elsevier   (Total: 3160 journals)

 A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

  First | 3 4 5 6 7 8 9 10 | Last   [Sort by number of followers]   [Restore default list]

Showing 1201 - 1400 of 3160 Journals sorted alphabetically
Growth Factors and Cytokines in Health and Disease     Full-text available via subscription   (Followers: 1)
Growth Hormone & IGF Research     Hybrid Journal   (Followers: 17, SJR: 1.059, CiteScore: 2)
Gynecologic Oncology     Hybrid Journal   (Followers: 25, SJR: 2.339, CiteScore: 4)
Gynecologic Oncology Reports     Open Access   (Followers: 10, SJR: 0.307, CiteScore: 1)
Gynécologie Obstétrique & Fertilité     Full-text available via subscription   (Followers: 1)
Habitat Intl.     Hybrid Journal   (Followers: 6, SJR: 1.336, CiteScore: 3)
Hand Clinics     Full-text available via subscription   (Followers: 5, SJR: 0.556, CiteScore: 1)
Hand Surgery and Rehabilitation     Full-text available via subscription   (Followers: 4, SJR: 0.358, CiteScore: 1)
Handai Nanophotonics     Full-text available via subscription  
Handbook of Adhesives and Sealants     Full-text available via subscription   (Followers: 2)
Handbook of Agricultural Economics     Full-text available via subscription   (Followers: 3)
Handbook of Algebra     Full-text available via subscription  
Handbook of Analytical Separations     Full-text available via subscription   (Followers: 3)
Handbook of Behavioral Neuroscience     Full-text available via subscription   (Followers: 3)
Handbook of Biological Physics     Full-text available via subscription  
Handbook of Chemical Neuroanatomy     Full-text available via subscription  
Handbook of Clinical Neurology     Full-text available via subscription   (Followers: 2, SJR: 1.007, CiteScore: 2)
Handbook of Clinical Neurophysiology     Full-text available via subscription  
Handbook of Complex Analysis     Full-text available via subscription  
Handbook of Computational Economics     Full-text available via subscription   (Followers: 2, SJR: 4.16, CiteScore: 2)
Handbook of Defense Economics     Full-text available via subscription   (Followers: 2)
Handbook of Development Economics     Full-text available via subscription   (Followers: 8)
Handbook of Differential Equations: Evolutionary Equations     Full-text available via subscription  
Handbook of Differential Equations: Ordinary Differential Equations     Full-text available via subscription  
Handbook of Differential Equations: Stationary Partial Differential Equations     Full-text available via subscription   (Followers: 2)
Handbook of Differential Geometry     Full-text available via subscription  
Handbook of Dynamical Systems     Full-text available via subscription   (Followers: 1)
Handbook of Econometrics     Full-text available via subscription   (Followers: 10)
Handbook of Economic Forecasting     Full-text available via subscription   (Followers: 3)
Handbook of Economic Growth     Full-text available via subscription   (Followers: 3)
Handbook of Environmental Economics     Full-text available via subscription   (Followers: 3)
Handbook of Experimental Economics Results     Full-text available via subscription   (Followers: 6)
Handbook of Exploration and Environmental Geochemistry     Full-text available via subscription   (Followers: 2)
Handbook of Exploration Geochemistry     Full-text available via subscription   (Followers: 1)
Handbook of Ferromagnetic Materials     Full-text available via subscription   (Followers: 1)
Handbook of Game Theory with Economic Applications     Full-text available via subscription   (Followers: 1)
Handbook of Geophysical Exploration: Seismic Exploration     Full-text available via subscription  
Handbook of Health Economics     Full-text available via subscription   (Followers: 13)
Handbook of Immunohistochemistry and in Situ Hybridization of Human Carcinomas     Full-text available via subscription   (Followers: 1)
Handbook of Income Distribution     Full-text available via subscription   (Followers: 4)
Handbook of Industrial Organization     Full-text available via subscription   (Followers: 5)
Handbook of Intl. Economics     Full-text available via subscription  
Handbook of Labor Economics     Full-text available via subscription   (Followers: 14)
Handbook of Law and Economics     Full-text available via subscription   (Followers: 17)
Handbook of Macroeconomics     Full-text available via subscription   (Followers: 6, SJR: 0, CiteScore: 2)
Handbook of Magnetic Materials     Full-text available via subscription   (Followers: 2, SJR: 0.467, CiteScore: 2)
Handbook of Mathematical Economics     Full-text available via subscription  
Handbook of Mathematical Fluid Dynamics     Full-text available via subscription   (Followers: 2)
Handbook of Metal Physics     Full-text available via subscription  
Handbook of Monetary Economics     Full-text available via subscription   (Followers: 7)
Handbook of Natural Resource and Energy Economics     Full-text available via subscription   (Followers: 5)
Handbook of Numerical Analysis     Full-text available via subscription   (Followers: 5)
Handbook of Perception and Action     Full-text available via subscription   (Followers: 2)
Handbook of Petroleum Exploration and Production     Full-text available via subscription   (Followers: 2)
Handbook of Population and Family Economics     Full-text available via subscription   (Followers: 4)
Handbook of Powder Technology     Full-text available via subscription   (Followers: 6)
Handbook of Public Economics     Full-text available via subscription   (Followers: 1)
Handbook of Regional and Urban Economics     Full-text available via subscription   (Followers: 3)
Handbook of Sensors and Actuators     Full-text available via subscription   (Followers: 10)
Handbook of Social Choice and Welfare     Full-text available via subscription   (Followers: 3)
Handbook of Statistics     Full-text available via subscription   (Followers: 8, SJR: 0.102, CiteScore: 0)
Handbook of Surface Science     Full-text available via subscription   (Followers: 4, SJR: 0.193, CiteScore: 0)
Handbook of Systemic Autoimmune Diseases     Full-text available via subscription   (Followers: 2)
Handbook of the Economics of Art and Culture     Full-text available via subscription   (Followers: 3)
Handbook of the Economics of Education     Full-text available via subscription   (Followers: 9, SJR: 0, CiteScore: 2)
Handbook of the Economics of Finance     Full-text available via subscription   (Followers: 6)
Handbook of the Economics of Giving, Altruism and Reciprocity     Full-text available via subscription   (Followers: 2)
Handbook of the Geometry of Banach Spaces     Full-text available via subscription   (Followers: 1)
Handbook of the History of Logic     Full-text available via subscription   (Followers: 1)
Handbook of Thermal Analysis and Calorimetry     Full-text available via subscription   (Followers: 1)
Handbook of Thermal Conductivity     Full-text available via subscription   (Followers: 4)
Handbook of Vapor Pressure     Full-text available via subscription  
Handbook on the Physics and Chemistry of Rare Earths     Full-text available via subscription   (Followers: 3, SJR: 0.755, CiteScore: 3)
Handbooks of Management Accounting Research     Full-text available via subscription   (Followers: 4)
HardwareX     Open Access  
Harmful Algae     Hybrid Journal   (Followers: 5, SJR: 1.531, CiteScore: 4)
HBRC J.     Open Access   (Followers: 2)
Health & Place     Hybrid Journal   (Followers: 15, SJR: 1.506, CiteScore: 3)
Health Outcomes Research in Medicine     Hybrid Journal   (Followers: 3)
Health Policy     Hybrid Journal   (Followers: 43, SJR: 1.252, CiteScore: 2)
Health Policy and Technology     Hybrid Journal   (Followers: 4, SJR: 0.322, CiteScore: 1)
Health Professions Education     Open Access   (Followers: 3)
Healthcare : The J. of Delivery Science and Innovation     Full-text available via subscription   (Followers: 1)
Hearing Research     Hybrid Journal   (Followers: 11, SJR: 1.35, CiteScore: 3)
Heart & Lung: The J. of Acute and Critical Care     Hybrid Journal   (Followers: 11, SJR: 0.757, CiteScore: 2)
Heart Failure Clinics     Full-text available via subscription   (Followers: 2, SJR: 1.153, CiteScore: 2)
Heart Rhythm     Hybrid Journal   (Followers: 11, SJR: 3.231, CiteScore: 4)
Heart, Lung and Circulation     Full-text available via subscription   (Followers: 9, SJR: 0.599, CiteScore: 1)
HeartRhythm Case Reports     Open Access   (SJR: 0.232, CiteScore: 0)
Heliyon     Open Access   (SJR: 0.355, CiteScore: 1)
Hellenic J. of Cardiology     Open Access   (Followers: 1, SJR: 0.479, CiteScore: 1)
Hematology, Transfusion and Cell Therapy     Open Access   (Followers: 1)
Hematology/Oncology and Stem Cell Therapy     Open Access   (Followers: 4, SJR: 0.532, CiteScore: 1)
Hematology/Oncology Clinics of North America     Full-text available via subscription   (Followers: 6, SJR: 1.282, CiteScore: 3)
Hepatobiliary & Pancreatic Diseases Intl.     Full-text available via subscription   (Followers: 2, SJR: 0.711, CiteScore: 2)
High Energy Density Physics     Hybrid Journal   (Followers: 2, SJR: 0.933, CiteScore: 2)
Hipertensión y Riesgo Vascular     Full-text available via subscription   (SJR: 0.115, CiteScore: 0)
Historia Mathematica     Full-text available via subscription   (Followers: 1, SJR: 0.174, CiteScore: 0)
History of CERN     Full-text available via subscription   (Followers: 1)
History of Neuroscience in Autobiography     Full-text available via subscription   (Followers: 3)
HIV & AIDS Review     Full-text available via subscription   (Followers: 12, SJR: 0.134, CiteScore: 0)
Homeopathy     Hybrid Journal   (Followers: 6, SJR: 0.678, CiteScore: 1)
HOMO - J. of Comparative Human Biology     Hybrid Journal   (Followers: 2, SJR: 0.335, CiteScore: 1)
Hong Kong J. of Nephrology     Open Access   (Followers: 2, SJR: 0.137, CiteScore: 0)
Hong Kong J. of Occupational Therapy     Open Access   (Followers: 43, SJR: 0.237, CiteScore: 1)
Hong Kong Physiotherapy J.     Open Access   (Followers: 14, SJR: 0.183, CiteScore: 0)
Hormigón y Acero     Full-text available via subscription  
Hormones and Behavior     Hybrid Journal   (Followers: 13, SJR: 1.638, CiteScore: 4)
Horticultural Plant J.     Open Access   (Followers: 5)
Hospital Medicine Clinics     Full-text available via subscription   (Followers: 2, SJR: 0.107, CiteScore: 0)
Human Factors in Information Technology     Full-text available via subscription   (Followers: 35)
Human Immunology     Hybrid Journal   (Followers: 18, SJR: 0.856, CiteScore: 2)
Human Movement Science     Hybrid Journal   (Followers: 15, SJR: 0.756, CiteScore: 2)
Human Pathology     Hybrid Journal   (Followers: 26, SJR: 1.304, CiteScore: 3)
Human Pathology : Case Reports     Open Access   (Followers: 2, SJR: 0.136, CiteScore: 0)
Human Resource Management Review     Hybrid Journal   (Followers: 54, SJR: 1.675, CiteScore: 4)
Hydrometallurgy     Hybrid Journal   (Followers: 13, SJR: 1.208, CiteScore: 3)
IATSS Research     Open Access   (SJR: 0.37, CiteScore: 1)
Icarus     Hybrid Journal   (Followers: 74, SJR: 2.037, CiteScore: 3)
ICT Express     Open Access   (SJR: 0.234, CiteScore: 1)
IDCases     Open Access   (SJR: 0.344, CiteScore: 1)
IERI Procedia     Open Access   (Followers: 1)
IFAC-PapersOnLine     Open Access   (SJR: 0.26, CiteScore: 1)
IIMB Management Review     Open Access   (Followers: 9, SJR: 0.24, CiteScore: 1)
IJC Heart & Vessels     Open Access   (Followers: 1)
IJC Heart & Vasculature     Open Access   (Followers: 1, SJR: 0.342, CiteScore: 1)
IJC Metabolic & Endocrine     Open Access   (Followers: 1, SJR: 0.4, CiteScore: 1)
Image and Vision Computing     Hybrid Journal   (Followers: 15, SJR: 0.612, CiteScore: 3)
Imagen Diagnóstica     Full-text available via subscription   (SJR: 0.106, CiteScore: 0)
Imagerie de la Femme     Full-text available via subscription   (Followers: 1, SJR: 0.124, CiteScore: 0)
Immunity     Full-text available via subscription   (Followers: 55, SJR: 13.393, CiteScore: 16)
Immuno-analyse & Biologie Spécialisée     Full-text available via subscription   (Followers: 2)
Immunobiology     Hybrid Journal   (Followers: 9, SJR: 1.1, CiteScore: 3)
Immunology and Allergy Clinics of North America     Full-text available via subscription   (Followers: 6, SJR: 1.132, CiteScore: 3)
Immunology Letters     Hybrid Journal   (Followers: 13, SJR: 1.168, CiteScore: 3)
Immunotoxicology of Drugs and Chemicals: an Experimental and Clinical Approach     Full-text available via subscription   (Followers: 1)
Implantodontie     Full-text available via subscription  
Indagationes Mathematicae     Open Access   (Followers: 1, SJR: 0.685, CiteScore: 1)
Indian Heart J.     Open Access   (Followers: 5, SJR: 0.333, CiteScore: 1)
Indian J. of Medical Specialities     Hybrid Journal   (SJR: 0.118, CiteScore: 0)
Indian J. of Tuberculosis     Full-text available via subscription   (SJR: 0.221, CiteScore: 0)
Indian Pacing and Electrophysiology J.     Open Access   (Followers: 1, SJR: 0.273, CiteScore: 0)
Industrial Chemistry Library     Full-text available via subscription   (Followers: 3)
Industrial Crops and Products     Hybrid Journal   (Followers: 6, SJR: 1.091, CiteScore: 4)
Industrial Marketing Management     Hybrid Journal   (Followers: 23, SJR: 1.663, CiteScore: 4)
Industrial Safety Series     Full-text available via subscription   (Followers: 17)
Infant Behavior and Development     Hybrid Journal   (Followers: 14, SJR: 0.784, CiteScore: 2)
Infectio     Open Access   (SJR: 0.133, CiteScore: 0)
Infection, Disease & Health     Open Access   (Followers: 8, SJR: 0.23, CiteScore: 1)
Infection, Genetics and Evolution     Hybrid Journal   (Followers: 5, SJR: 1.278, CiteScore: 3)
Infectious Disease Clinics of North America     Full-text available via subscription   (Followers: 5, SJR: 2.359, CiteScore: 5)
Informatics in Medicine Unlocked     Open Access   (SJR: 0.224, CiteScore: 1)
Information & Management     Hybrid Journal   (Followers: 56, SJR: 1.628, CiteScore: 5)
Information and Computation     Hybrid Journal   (Followers: 4, SJR: 0.504, CiteScore: 1)
Information and Organization     Hybrid Journal   (Followers: 39, SJR: 1.202, CiteScore: 3)
Information and Software Technology     Hybrid Journal   (Followers: 6, SJR: 0.581, CiteScore: 4)
Information Economics and Policy     Hybrid Journal   (Followers: 5, SJR: 0.63, CiteScore: 1)
Information Fusion     Hybrid Journal   (Followers: 2, SJR: 1.832, CiteScore: 7)
Information Processing & Management     Hybrid Journal   (Followers: 412, SJR: 0.92, CiteScore: 4)
Information Processing in Agriculture     Open Access   (SJR: 0.352, CiteScore: 2)
Information Processing Letters     Hybrid Journal   (Followers: 6, SJR: 0.412, CiteScore: 1)
Information Sciences     Hybrid Journal   (Followers: 475, SJR: 1.635, CiteScore: 5)
Information Security Technical Report     Full-text available via subscription   (Followers: 12)
Information Systems     Hybrid Journal   (Followers: 13, SJR: 0.805, CiteScore: 4)
Infosecurity     Full-text available via subscription   (Followers: 11)
Infrared Physics & Technology     Hybrid Journal   (Followers: 12, SJR: 0.54, CiteScore: 2)
Injury     Hybrid Journal   (Followers: 18, SJR: 0.99, CiteScore: 2)
Injury Extra     Open Access   (Followers: 2)
Inmunología     Full-text available via subscription   (Followers: 2)
Innovative Food Science & Emerging Technologies     Hybrid Journal   (Followers: 5, SJR: 1.201, CiteScore: 3)
Inorganic Chemistry Communications     Hybrid Journal   (Followers: 13, SJR: 0.43, CiteScore: 2)
Inorganica Chimica Acta     Hybrid Journal   (Followers: 9, SJR: 0.485, CiteScore: 2)
Insect Biochemistry and Molecular Biology     Hybrid Journal   (Followers: 3, SJR: 1.912, CiteScore: 4)
Instabilities in Silicon Devices     Full-text available via subscription   (Followers: 1)
Insulin     Full-text available via subscription   (Followers: 6)
Insurance: Mathematics and Economics     Hybrid Journal   (Followers: 9, SJR: 1.083, CiteScore: 2)
Integration, the VLSI J.     Hybrid Journal   (Followers: 6, SJR: 0.223, CiteScore: 1)
Integrative Medicine Research     Open Access   (Followers: 3)
Intellectual Economics     Open Access  
Intelligence     Hybrid Journal   (Followers: 7, SJR: 1.633, CiteScore: 3)
Intensive and Critical Care Nursing     Hybrid Journal   (Followers: 31, SJR: 0.611, CiteScore: 2)
Interdisciplinary Neurosurgery     Open Access   (SJR: 0.164, CiteScore: 0)
Interface Science and Technology     Full-text available via subscription  
Intermetallics     Hybrid Journal   (Followers: 22, SJR: 1.568, CiteScore: 4)
Internet Interventions : The application of information technology in mental and behavioural health     Open Access   (Followers: 4, SJR: 1.962, CiteScore: 4)
Interventional Cardiology Clinics     Full-text available via subscription   (Followers: 3, SJR: 0.156, CiteScore: 0)
Intl. Biodeterioration & Biodegradation     Hybrid Journal   (Followers: 1, SJR: 1.086, CiteScore: 4)
Intl. Business Review     Hybrid Journal   (Followers: 10, SJR: 1.012, CiteScore: 3)
Intl. Communications in Heat and Mass Transfer     Hybrid Journal   (Followers: 21, SJR: 1.553, CiteScore: 5)
Intl. Comparative Jurisprudence     Open Access   (Followers: 2)
Intl. Dairy J.     Hybrid Journal   (Followers: 6, SJR: 1.051, CiteScore: 2)
Intl. Economics     Hybrid Journal   (Followers: 3, SJR: 0.451, CiteScore: 1)
Intl. Emergency Nursing     Hybrid Journal   (Followers: 10, SJR: 0.461, CiteScore: 1)
Intl. Geophysics     Full-text available via subscription   (Followers: 3)
Intl. Immunopharmacology     Hybrid Journal   (Followers: 2, SJR: 1.051, CiteScore: 3)
Intl. J. for Parasitology     Hybrid Journal   (Followers: 11, SJR: 1.638, CiteScore: 4)
Intl. J. for Parasitology : Drugs and Drug Resistance     Open Access   (Followers: 4, SJR: 1.556, CiteScore: 4)
Intl. J. for Parasitology : Parasites and Wildlife     Open Access   (Followers: 2, SJR: 1.455, CiteScore: 3)
Intl. J. of Accounting     Hybrid Journal   (Followers: 1)
Intl. J. of Accounting Information Systems     Hybrid Journal   (Followers: 5, SJR: 0.399, CiteScore: 2)

  First | 3 4 5 6 7 8 9 10 | Last   [Sort by number of followers]   [Restore default list]

Journal Cover
Handbook of the History of Logic
Number of Followers: 1  
 
  Full-text available via subscription Subscription journal
ISSN (Print) 1874-5857
Published by Elsevier Homepage  [3160 journals]
  • Editorial Note
    • Authors: Jörg Siekmann; Dov Gabbay
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Jörg Siekmann, Dov Gabbay


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50019-8
      Issue No: Vol. 9 (2017)
       
  • Logic and the development of the computer
    • Authors: Martin Davis
      Pages: 31 - 38
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Martin Davis


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50002-2
      Issue No: Vol. 9 (2017)
       
  • What is a logical system? An evolutionary view: 1964–2014
    • Authors: Dov M. Gabbay
      Pages: 41 - 132
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Dov M. Gabbay


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50003-4
      Issue No: Vol. 9 (2017)
       
  • History of Interactive Theorem Proving
    • Authors: John Harrison; Josef Urban; Freek Wiedijk
      Pages: 135 - 214
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): John Harrison, Josef Urban, Freek Wiedijk


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50004-6
      Issue No: Vol. 9 (2017)
       
  • Automation of Higher-Order Logic
    • Authors: Christoph Benzmüller; Dale Miller
      Pages: 215 - 254
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Christoph Benzmüller, Dale Miller


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50005-8
      Issue No: Vol. 9 (2017)
       
  • Equational Logic and Rewriting
    • Authors: Claude Kirchner; Hélène Kirchner
      Pages: 255 - 282
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Claude Kirchner, Hélène Kirchner


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50006-x
      Issue No: Vol. 9 (2017)
       
  • Possibilistic Logic — An Overview
    • Authors: Didier Dubois; Henri Prade
      Pages: 283 - 342
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Didier Dubois, Henri Prade


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50007-1
      Issue No: Vol. 9 (2017)
       
  • Computerising Mathematical Text
    • Authors: Fairouz Kamareddine; Joe Wells; Christoph Zengler; Henk Barendregt
      Pages: 343 - 396
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Fairouz Kamareddine, Joe Wells, Christoph Zengler, Henk Barendregt


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50008-3
      Issue No: Vol. 9 (2017)
       
  • Concurrency Theory: A Historical Perspective on Coinduction and Process
           Calculi
    • Authors: Jos C.M. Baeten; Davide Sangiorgi
      Pages: 399 - 442
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Jos C.M. Baeten, Davide Sangiorgi


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50009-5
      Issue No: Vol. 9 (2017)
       
  • Degrees of Unsolvability
    • Authors: Klaus Ambos-Spies; Peter A. Fejer
      Pages: 443 - 494
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Klaus Ambos-Spies, Peter A. Fejer


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50010-1
      Issue No: Vol. 9 (2017)
       
  • Computational Complexity
    • Authors: Lance Fortnow; Steven Homer
      Pages: 495 - 521
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Lance Fortnow, Steven Homer


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50011-3
      Issue No: Vol. 9 (2017)
       
  • Logic Programming
    • Authors: Robert Kowalski
      Pages: 523 - 569
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Robert Kowalski


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50012-5
      Issue No: Vol. 9 (2017)
       
  • Logic and Databases: A History of Deductive Databases
    • Authors: Jack Minker; Dietmar Seipel; Carlo Zaniolo
      Pages: 571 - 627
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Jack Minker, Dietmar Seipel, Carlo Zaniolo


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50013-7
      Issue No: Vol. 9 (2017)
       
  • Logics for Intelligent Agents and Multi-Agent Systems
    • Authors: John-Jules Ch. Meyer
      Pages: 629 - 658
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): John-Jules Ch. Meyer


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50014-9
      Issue No: Vol. 9 (2017)
       
  • Description Logics
    • Authors: Matthias Knorr; Pascal Hitzler
      Pages: 659 - 678
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Matthias Knorr, Pascal Hitzler


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50015-0
      Issue No: Vol. 9 (2017)
       
  • Logics for the Semantic Web
    • Authors: Pascal Hitzler; Jens Lehmann; Axel Polleres
      Pages: 679 - 710
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Pascal Hitzler, Jens Lehmann, Axel Polleres


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51624-4.50016-2
      Issue No: Vol. 9 (2017)
       
  • Set Theory from Cantor to Cohen
    • Authors: Akihiro Kanamori
      Pages: 1 - 71
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): Akihiro Kanamori


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50001-3
      Issue No: Vol. 6 (2017)
       
  • Infinite Combinatorics
    • Authors: Jean A. Larson
      Pages: 145 - 357
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): Jean A. Larson


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50003-7
      Issue No: Vol. 6 (2017)
       
  • Large Cardinals with Forcing
    • Authors: Akihiro Kanamori
      Pages: 359 - 413
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): Akihiro Kanamori


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50004-9
      Issue No: Vol. 6 (2017)
       
  • Inner Models for Large Cardinals
    • Authors: William J. Mitchell
      Pages: 415 - 456
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): William J. Mitchell


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50005-0
      Issue No: Vol. 6 (2017)
       
  • A Brief History of Determinacy
    • Authors: Paul B. Larson
      Pages: 457 - 507
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): Paul B. Larson


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50006-2
      Issue No: Vol. 6 (2017)
       
  • Singular Cardinals
    • Authors: Menachem Kojman
      Pages: 509 - 558
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): Menachem Kojman


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50007-4
      Issue No: Vol. 6 (2017)
       
  • Alternative Set Theories
    • Authors: M. Randall Holmes; Thomas Forster; Thierry Libert
      Pages: 559 - 632
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): M. Randall Holmes, Thomas Forster, Thierry Libert


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50008-6
      Issue No: Vol. 6 (2017)
       
  • Types, Sets, and Categories
    • Authors: John L. Bell
      Pages: 633 - 687
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): John L. Bell


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50009-8
      Issue No: Vol. 6 (2017)
       
  • The History of Categorical Logic: 1963–1977
    • Authors: Jean-Pierre Marquis; Gonzalo E. Reyes
      Pages: 689 - 800
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): Jean-Pierre Marquis, Gonzalo E. Reyes


      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-51621-3.50010-4
      Issue No: Vol. 6 (2017)
       
  • A History of The Consequence Relations
    • Authors: Conrad Asmus; Greg Restall
      Pages: 11 - 61
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Conrad Asmus, Greg Restall
      Consequence is a, if not the, core subject matter of logic. Aristotle's study of the syllxogism instigated the task of categorising arguments into the logically good and the logically bad; the task remains an essential element of the study of logic. In a logically good argument, the conclusion follows validly from the premises; thus, the study of consequence and the study of validity are the same.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50001-0
      Issue No: Vol. 11 (2017)
       
  • A History of Quantification
    • Authors: Daniel Bonevac
      Pages: 63 - 126
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Daniel Bonevac
      Aristotle (384–322 BC), the founder of the discipline of logic, also founded the study of quantification. Normally, Aristotle begins a topic by reviewing the common opinions, including the opinions of his chief predecessors. In logic, however, he could not adopt the same strategy; before him, he reports, “there was nothing at all” (Sophistical Refutations 183b34-36). Aristotle's theory dominated logical approaches to quantification until the nineteenth century.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50002-2
      Issue No: Vol. 11 (2017)
       
  • History of Negation
    • Authors: J.L. Speranza; Laurence R. Horn
      Pages: 127 - 173
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): J.L. Speranza, Laurence R. Horn
      The American Heritage Dictionary's entry for Grice identifies him as a ‘British logician’, which for the purposes of this contribution is what he was. (The entry goes on to acknowledge that he is “best known for his studies of the pragmatics of communication and his theory of conversational maxims”.) We shall take Grice as a catalyst, since he represents a breakthrough in a rivalry between two groups of philosophers in the history of logic. We hope to demonstrate that he was more of a logician than the history of logic typically recognises. “I wyl not deny my Greecian ofspring.” Stanyhhurst, Æneis II. (Arb.) 1583: 46.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50003-4
      Issue No: Vol. 11 (2017)
       
  • A History of The Connectives
    • Authors: Daniel Bonevac; Josh Dever
      Pages: 175 - 233
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Daniel Bonevac, Josh Dever
      Contemporary students of logic tend to think of the logic of the connectives as the most basic area of the subject, which can then be extended with a logic of quantifiers. Historically, however, the logic of the quantifiers, in the form of the Aristotelian theory of the syllogism, came first. Truth conditions for negation, conjunction, and disjunction were well understood in ancient times, though not until Leibniz did anyone appreciate the algebraic features of these connectives. Approaches to the conditional, meanwhile, depended on drawing an analogy between conditionals and universal affirmative propositions. That remained true throughout the ancient, medieval, and early modern periods, and extended well into the nineteenth century, when Boole constructed an algebraic theory designed to handle sentential and quantificational phenomena in one go. The strength of the analogy, moreover, undercuts a common and otherwise appealing picture of the history of logic, according to which sentential and quantificational threads developed largely independently and, sometimes, in opposition to each other, until Frege wove them together in what we now consider classical logic. Frege did contribute greatly to our understanding of the connectives as well as the quantifiers. But his contribution consists in something other than unifying them into a single theory.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50004-6
      Issue No: Vol. 11 (2017)
       
  • A History of Truth-Values
    • Authors: Jean-Yves Béziau
      Pages: 235 - 307
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Jean-Yves Béziau
      The compound word “truth-value”, sometimes written “truth value”, is a bit monstrous and ambiguous. It is the name of a central concept of modern logic, but has not yet invaded everyday language. An ordinary man will say: it is true that Paris is the capital of France, rather than: the truth-value of “Paris is the capital of France” is true. And a mathematician also will say: it is true that 2+3=5, rather than the truth-value of “2+3=5” is true. We don't even find “truth-values” in postmodern or new age discussions side by side with “quantum leap”, “imaginary number”, “betacognition”. It seems that “truth-value” is exclusively used by logicians, philosophers of logic and analytic philosophers. In this paper we will examine the origin of this strange way of speaking and the concept related to it.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50005-8
      Issue No: Vol. 11 (2017)
       
  • A History of Modal Traditions
    • Authors: Simo Knuuttila
      Pages: 309 - 339
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Simo Knuuttila
      My aim is to shed light on long-lived assumptions in Western modal conceptions as well as some clashes between them. In the first section, I shall deal with those trends in ancient and medieval modal thought which were inclined to codify the meaning of modal notions in frequency terms. The second section concentrates on the emergence of a different paradigm in which the analysis of necessity and possibility is separated from a one world model, and which considerably modified late medieval modal logic. The third section is about the interplay of these traditions in the early modern period and their influence up to the nineteenth century.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50006-x
      Issue No: Vol. 11 (2017)
       
  • A History of Natural Deduction
    • Authors: Francis Jeffry Pelletier; Allen P. Hazen
      Pages: 341 - 414
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Francis Jeffry Pelletier, Allen P. Hazen
      Work that is called ‘natural deduction’ is carried out in two ways: first, as an object-language method to prove theorems and to demonstrate the validity of arguments; and secondly, as a metatheoretic investigation into the properties of these types of proofs and the use of properties of this sort to demonstrate results about other systems (such as the consistency of arithmetic or analysis). In the former realm, we turn to elementary textbooks that introduce logic to philosophy students; in the latter realm, we turn to the topic of proof theory.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50007-1
      Issue No: Vol. 11 (2017)
       
  • A History Of Connexivity
    • Authors: Storrs McCall
      Pages: 415 - 449
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Storrs McCall
      Connexive implication is a type of implication first defined in the 4th Century B.C., a time of active debate when it was said that the very crows on the rooftops were croaking about what conditionals were true. In Sextus Empiricus’ Outlines of Pyrrhonism, which discusses four varieties of implication, including [1] material (Philonian) and [2] strict (Diodorean) implication, we read:” “[3] And those who introduce the notion of connection say that a conditional is sound when the contradictory of its consequent is incompatible with its antecedent.” [Kneale, 1962, 129] It follows from this definition that no conditional of the form “If p then not-p” can be true, since the contradictory of not-p, i.e. p, is never incompatible with p. Accepting this in turn requires that “compatibility” be essentially a relational concept, and that whether or not A is compatible with B cannot be determined by examining A and B separately. Thus even “p&˜ p” is not incompatible with itself, and “If p&˜ p, then not-(p&˜ p)” is connexively false.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50008-3
      Issue No: Vol. 11 (2017)
       
  • A History of Types**This article originally appeared in the Bulletin for
           Symbolic Logic Volume 8, Number 2, 185–245, June 2002 under the title
           “Types in logic and mathematics before 1940”. Copyright is held by the
           Association for Symbolic Logic, and it is reprinted here with their
           permission.
    • Authors: Fairouz Kammareddine; Twan Laan; Rob Nederpelt
      Pages: 451 - 511
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Fairouz Kammareddine, Twan Laan, Rob Nederpelt
      In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([Whitehead and Russell, 1910], 1910–1912) and Church's simply typed λ-calculus of 1940. We first argue that the concept of types has always been present in mathematics, though nobody was incorporating them explicitly as such, before the end of the 19th century. Then we proceed by describing how the logical paradoxes entered the formal systems of Frege, Cantor and Peano concentrating on Frege's Grundgesetze der Arithmetik for which Russell applied his famous paradox1 and this led him to introduce the first theory of types, the Ramified Type Theory (rtt). We present RTT formally using the modern notation for type theory and we discuss how Ramsey, Hilbert and Ackermann removed the orders from RTT leading to the simple theory of types STT. We present STT and Church's own simply typed λ-calculus (λ→C 2) and we finish by comparing RTT, STT and λ→C.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50009-5
      Issue No: Vol. 11 (2017)
       
  • A History of the Fallacies in Western Logic11A good review of the early
           development of Indian logic is Jonardon Ganeri “Indian Logic”, this
           Handbook, volume 1 [2004]. See also [Powers, 2012] on Dignanian
           syllogisms. Also of note is chapter 5 of [Hamblin, 1970] on the Indian
           tradition. The same is true for Arabaic contributions in Tony Street's
           “Arabic Logic”, also in volume 1. For a discussion of early
           developments in Chinese logic, see [Chad Hansen, 1983]. A valuable
           discussion of fallacies in the Mohist tradition is [Zhai, 2011]. Zhai
           [2011] appears in a special number of Studies in Logic, devoted to the
           history of logic in China.
    • Authors: John Woods
      Pages: 513 - 610
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): John Woods
      The concept of fallacy predates the founding of logic and the bestowal of its name by Aristotle. It is implicit in the contrast between good arguments and good-looking arguments, which in turn instantiates the more generic distinction between appearance and reality. Aristotle's predecessors knew well that bad argument can exhibit the false appearance of goodness. In many circles, not excluding their own, the Sophists were a scandal. Not only did they pedal bad arguments that looked good, but they had the nerve to expect payment for their trouble.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50010-1
      Issue No: Vol. 11 (2017)
       
  • A History of Logic Diagrams
    • Authors: Amirouche Moktefi; Sun-Joo Shin
      Pages: 611 - 682
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11
      Author(s): Amirouche Moktefi, Sun-Joo Shin
      Diagrams, however we may define them, are one of the most widely used tools by humans — from ordinary life communication to brainstorming for complicated problems or outlining the overall structure of talks, papers, etc. Some philosophers and psychologists extend the territory of diagrams by embracing mental images under the same category. Diagrams, external or internal, cover such a vast area of human activities that different disciplines, not surprisingly, have approached the topic from different angles.

      PubDate: 2017-03-22T15:00:37Z
      DOI: 10.1016/b978-0-444-52937-4.50011-3
      Issue No: Vol. 11 (2017)
       
  • Computational Logic
    • Authors: Siekmann
      Abstract: Publication date: 2014
      Source:Handbook of the History of Logic, Volume 9
      Author(s): Jörg Siekmann


      PubDate: 2017-03-22T15:00:37Z
       
  • List of Authors
    • Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 11


      PubDate: 2017-03-22T15:00:37Z
       
  • History of the Continuum in the 20th Century
    • Authors: Juris
      Abstract: Publication date: 2012
      Source:Handbook of the History of Logic, Volume 6
      Author(s): Juris Steprāns


      PubDate: 2017-03-22T15:00:37Z
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs
Your IP address: 34.228.42.25
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-