Skip to main content
Elsevier
View Cart

North Holland

    • Greek, Indian and Arabic Logic

      • 1st Edition
      • Volume 1
      • February 6, 2004
      • Dov M. Gabbay + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 1 1 4 5
      • Hardback
        9 7 8 0 4 4 4 5 0 4 6 6 1
      • eBook
        9 7 8 0 0 8 0 5 3 2 8 6 8
      Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central.In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality.Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world.Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value.Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas.

    • Algorithmic Graph Theory and Perfect Graphs

      • 2nd Edition
      • Volume 57
      • February 4, 2004
      • Martin Charles Golumbic
      • English
      • Hardback
        9 7 8 0 4 4 4 5 1 5 3 0 8
      • eBook
        9 7 8 0 0 8 0 5 2 6 9 6 6
      Algorithmic Graph Theory and Perfect Graphs, first published in 1980, has become the classic introduction to the field. This new Annals edition continues to convey the message that intersection graph models are a necessary and important tool for solving real-world problems. It remains a stepping stone from which the reader may embark on one of many fascinating research trails. The past twenty years have been an amazingly fruitful period of research in algorithmic graph theory and structured families of graphs. Especially important have been the theory and applications of new intersection graph models such as generalizations of permutation graphs and interval graphs. These have lead to new families of perfect graphs and many algorithmic results. These are surveyed in the new Epilogue chapter in this second edition.

    • Advances in Survival Analysis

      • 1st Edition
      • Volume 23
      • January 30, 2004
      • Narayanaswamy Balakrishnan + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 4 8 4 4 3
      • Hardback
        9 7 8 0 4 4 4 5 0 0 7 9 3
      • eBook
        9 7 8 0 0 8 0 4 9 5 1 1 8
      Handbook of Statistics: Advances in Survival Analysis covers all important topics in the area of Survival Analysis. Each topic has been covered by one or more chapters written by internationally renowned experts. Each chapter provides a comprehensive and up-to-date review of the topic. Several new illustrative examples have been used to demonstrate the methodologies developed. The book also includes an exhaustive list of important references in the area of Survival Analysis.

    • Handbook of Magnetic Materials

      • 1st Edition
      • Volume 15
      • December 3, 2003
      • K.H.J. Buschow
      • English
      • Paperback
        9 7 8 0 4 4 4 5 4 8 4 5 0
      • Hardback
        9 7 8 0 4 4 4 5 1 4 5 9 2
      • eBook
        9 7 8 0 0 8 0 5 2 2 4 5 6
      Volume 15 of the Handbook on the Properties of Magnetic Materials, as the preceding volumes, has a dual purpose. As a textbook it is intended to be of assistance to those who wish to be introduced to a given topic in the field of magnetism without the need to read the vast amount of literature published. As a work of reference it is intended for scientists active in magnetism research. To this dual purpose, Volume 15 of the Handbook is composed of topical review articles written by leading authorities. In each of these articles an extensive description is given in graphical as well as in tabular form, much emphasis being placed on the discussion of the experimental material in the framework of physics, chemistry and material science. It provides the readership with novel trends and achievements in magnetism.

    • Handbook of the Economics of Finance

      • 1st Edition
      • Volume 1B
      • November 4, 2003
      • G. Constantinides + 2 more
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 2 3 0 7
      • Hardback
        9 7 8 0 4 4 4 5 1 3 6 3 2
      • eBook
        9 7 8 0 0 8 0 4 9 5 0 8 8
      Volume 1B covers the economics of financial markets: the saving and investment decisions; the valuation of equities, derivatives, and fixed income securities; and market microstructure.

    • Handbook of the Economics of Finance

      • 1st Edition
      • Volume 1A
      • November 4, 2003
      • George M. Constantinides + 2 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 1 0 9 1
      • Hardback
        9 7 8 0 4 4 4 5 1 3 6 2 5
      • eBook
        9 7 8 0 0 8 0 4 9 5 0 7 1
      Volume 1A covers corporate finance: how businesses allocate capital - the capital budgeting decision - and how they obtain capital - the financing decision. Though managers play no independent role in the work of Miller and Modigliani, major contributions in finance since then have shown that managers maximize their own objectives. To understand the firm's decisions, it is therefore necessary to understand the forces that lead managers to maximize the wealth of shareholders.

    • Many-Dimensional Modal Logics: Theory and Applications

      • 1st Edition
      • Volume 148
      • October 21, 2003
      • A. Kurucz + 3 more
      • English
      • Hardback
        9 7 8 0 4 4 4 5 0 8 2 6 3
      • Paperback
        9 7 8 0 4 4 4 5 5 1 8 3 2
      • eBook
        9 7 8 0 0 8 0 5 3 5 7 8 4
      Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.Key Features:• Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science• Written by internationally leading researchers in the field of pure and applied logic• Combines mathematical theory of modal logic and applications in artificial intelligence and computer science• Numerous open problems for further research• Well illustrated with pictures and tables

    • Handbook of Algebra

      • 1st Edition
      • Volume 3
      • October 15, 2003
      • English
      • eBook
        9 7 8 0 0 8 0 5 3 2 9 7 4

    • Progress in Optics

      • 1st Edition
      • Volume 45
      • July 1, 2003
      • English
      • Paperback
        9 7 8 0 4 4 4 5 4 8 4 6 7
      • Hardback
        9 7 8 0 4 4 4 5 1 3 3 4 2
      • eBook
        9 7 8 0 0 8 0 9 3 0 3 3 6
      A volume in the Progress in Optics series, the papers in this book cover a range of topics, including: anamorphic beam shaping for laser and diffuse light; ultra-fast all-optical switching in optical networks; generation of dark hollow beams and their application; and two-photon lasers.

    • Non-Self-Adjoint Boundary Eigenvalue Problems

      • 1st Edition
      • Volume 192
      • June 26, 2003
      • R. Mennicken + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 5 1 9 2 4
      • Hardback
        9 7 8 0 4 4 4 5 1 4 4 7 9
      • eBook
        9 7 8 0 0 8 0 5 3 7 7 3 3
      This monograph provides a comprehensive treatment of expansion theorems for regular systems of first order differential equations and n-th order ordinary differential equations.In 10 chapters and one appendix, it provides a comprehensive treatment from abstract foundations to applications in physics and engineering. The focus is on non-self-adjoint problems. Bounded operators are associated to these problems, and Chapter 1 provides an in depth investigation of eigenfunctions and associated functions for bounded Fredholm valued operators in Banach spaces. Since every n-th order differential equation is equivalentto a first order system, the main techniques are developed for systems. Asymptotic fundamentalsystems are derived for a large class of systems of differential equations. Together with boundaryconditions, which may depend polynomially on the eigenvalue parameter, this leads to the definition of Birkhoff and Stone regular eigenvalue problems. An effort is made to make the conditions relatively easy verifiable; this is illustrated with several applications in chapter 10.The contour integral method and estimates of the resolvent are used to prove expansion theorems.For Stone regular problems, not all functions are expandable, and again relatively easy verifiableconditions are given, in terms of auxiliary boundary conditions, for functions to be expandable.Chapter 10 deals exclusively with applications; in nine sections, various concrete problems such asthe Orr-Sommerfeld equation, control of multiple beams, and an example from meteorology are investigated.Key features:• Expansion Theorems for Ordinary Differential Equations• Discusses Applications to Problems from Physics and Engineering• Thorough Investigation of Asymptotic Fundamental Matrices and Systems• Provides a Comprehensive Treatment• Uses the Contour Integral Method• Represents the Problems as Bounded Operators• Investigates Canonical Systems of Eigen- and Associated Vectors for Operator Functions

Browse by Publisher

Academic Press

Butterworth-Heinemann

Chandos

Elsevier

Morgan Kaufmann

Newnes

Syngress