Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the nature of a handbook. All of them are self-contained, at various levels of difficulty. The Introduction surveys the main ideas and problems encountered in the logical investigation of quantifiers. The Prologue, written by Per Lindstrom, presents the early history of the concept of generalised quantifiers. The volume then continues with a series of papers surveying various research areas, particularly those that are of current interest. Together they provide introductions to the subject from the points of view of mathematics, linguistics, and theoretical computer science. The present volume has been prepared in parallel with Quantifiers: Logics, Models and Computation, Volume Two. Contributions, which contains a collection of research papers on the subject in areas that are too fresh to be summarised. The two volumes are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists. Suitable as a text for advanced undergraduate and graduate specialised courses in logic. "

"Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking.
For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines.

Group cohomology has a rich history that goes back a century or more. Its origins are rooted in investigations of group theory and num ber theory, and it grew into an integral component of algebraic topology. In the last thirty years, group cohomology has developed a powerful con nection with finite group representations. Unlike the early applications which were primarily concerned with cohomology in low degrees, the in teractions with representation theory involve cohomology rings and the geometry of spectra over these rings. It is this connection to represen tation theory that we take as our primary motivation for this book. The book consists of two separate pieces. Chronologically, the first part was the computer calculations of the mod-2 cohomology rings of the groups whose orders divide 64. The ideas and the programs for the calculations were developed over the last 10 years. Several new features were added over the course of that time. We had originally planned to include only a brief introduction to the calculations. However, we were persuaded to produce a more substantial text that would include in greater detail the concepts that are the subject of the calculations and are the source of some of the motivating conjectures for the com putations. We have gathered together many of the results and ideas that are the focus of the calculations from throughout the mathematical literature."

Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy. On the other hand, this period also witnessed the emergence of a variety of alternative theories of real numbers and corresponding theories of continua, as well as non-Archimedean geometry, non-standard analysis, and a number of important generalizations of the system of real numbers, some of which have been described as arithmetic continua of one type or another. With the exception of E.W. Hobson's essay, which is concerned with the ideas of Cantor and Dedekind and their reception at the turn of the century, the papers in the present collection are either concerned with or are contributions to, the latter groups of studies. All the contributors are outstanding authorities in their respective fields, and the essays, which are directed to historians and philosophers of mathematics as well as to mathematicians who are concerned with the foundations of their subject, are preceded by a lengthy historical introduction.

The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic." These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some discussion, it was decided that, rather than producing a volume of conference proceedings, we would try to organize the conferees to produce a set of comprehensive survey papers, which would not only report on recent developments in quantum logic, but also provide a tutorial overview of the subject suitable for an interested non-specialist audience. The resulting volume provides an overview of the concepts and methods used in current research in quantum logic, viewed both as a branch of mathemati cal physics and as an area of pure mathematics. The first half of the book is concerned with the algebraic side of the subject, and in particular the theory of orthomodular lattices and posets, effect algebras, etc. In the second half of the book, special attention is given to categorical methods and to connections with theoretical computer science. At the 1999 workshop, we were fortunate to hear three excellent lectures by David J. Foulis, represented here by two contributions. Dave's work, spanning 40 years, has helped to define, and continues to reshape, the field of quantum logic."

While in classical (abelian) homological algebra additive functors from abelian (or additive) categories to abelian categories are investigated , non- abelian homological algebra deals with non-additive functors and their homological properties , in particular with functors having values in non-abelian categories. Such functors haveimportant applications in algebra, algebraic topology, functional analysis, algebraic geometry and other principal areas of mathematics. To study homological properties of non-additive functors it is necessary to define and investigate their derived functors and satellites. It will be the aim of this book based on the results of researchers of A. Razmadze Mathematical Institute of the Georgian Academy of Sciences devoted to non-abelian homological algebra. The most important considered cases will be functors from arbitrary categories to the category of modules, group valued functors and commutative semigroup valued functors. In Chapter I universal sequences of functors are defined and in- vestigated with respect to (co)presheaves of categories, extending in a natural way the satellites of additive functors to the non-additive case and generalizing the classical relative homological algebra in additive categories to arbitrary categories. Applications are given in the furth- coming chapters. Chapter II is devoted to the non-abelian derived functors of group valued functors with respect to projective classes using projective pseu- dosimplicial resolutions. Their functorial properties (exactness, Milnor exact sequence, relationship with cotriple derived functors, satellites and Grothendieck cohomology, spectral sequence of an epimorphism, degree of an arbitrary functor) are established and applications to ho- mology and cohomology of groups are given.

In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. Grassmann (1809-1877), the remarkable universalist whose work recast the foundations of these disciplines and shaped the course of their modern development.

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness.

This book discusses the theory of triangular norms and surveys several applied fields in which triangular norms play a significant part: probabilistic metric spaces, aggregation operators, many-valued logics, fuzzy logics, sets and control, and non-additive measures together with their corresponding integrals. It includes many graphical illustrations and gives a well-balanced picture of theory and applications. It is for mathematicians, computer scientists, applied computer scientists and engineers.

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.

It took many decades for Peirce's coneept of a relation to find its way into the microelectronic innards of control systems of eement kilns, subway trains, and tunnel-digging machinery. But what is amazing is that the more we leam about the basically simple coneept of a relation, the more aware we become of its fundamental importanee and wide ranging ramifications. The work by Di Nola, Pedrycz, Sanchez, and Sessa takes us a long distanee in this direction by opening new vistas on both the theory and applications of fuzzy relations - relations which serve to model the imprecise coneepts which pervade the real world. Di Nola, Pedrycz, Sanchez, and Sessa focus their attention on a eentral problem in the theory of fuzzy relations, namely the solution of fuzzy relational equations. The theory of such equations was initiated by Sanchez in 1976, ina seminal paper dealing with the resolution of composite fuzzy relational equations. Sinee then, hundreds of papers have been written on this and related topics, with major contributions originating in France, Italy, Spain, Germany, Poland, Japan, China, the Soviet Union, India, and other countries. The bibliography included in this volume highlights the widespread interest in the theory of fuzzy relational equations and the broad spectrum of its applications.

Generalized Measure Theory examines the relatively new mathematical area of generalized measure theory. The exposition unfolds systematically, beginning with preliminaries and new concepts, followed by a detailed treatment of important new results regarding various types of nonadditive measures and the associated integration theory. The latter involves several types of integrals: Sugeno integrals, Choquet integrals, pan-integrals, and lower and upper integrals. All of the topics are motivated by numerous examples, culminating in a final chapter on applications of generalized measure theory.

Some key features of the book include: many exercises at the end of each chapter along with relevant historical and bibliographical notes, an extensive bibliography, and name and subject indices. The work is suitable for a classroom setting at the graduate level in courses or seminars in applied mathematics, computer science, engineering, and some areas of science. A sound background in mathematical analysis is required. Since the book contains many original results by the authors, it will also appeal to researchers working in the emerging area of generalized measure theory.

Fixed point theory in probabilistic metric spaces can be considered as a part of Probabilistic Analysis, which is a very dynamic area of mathematical research. A primary aim of this monograph is to stimulate interest among scientists and students in this fascinating field. The text is self-contained for a reader with a modest knowledge of the metric fixed point theory. Several themes run through this book. The first is the theory of triangular norms (t-norms), which is closely related to fixed point theory in probabilistic metric spaces. Its recent development has had a strong influence upon the fixed point theory in probabilistic metric spaces. In Chapter 1 some basic properties of t-norms are presented and several special classes of t-norms are investigated. Chapter 2 is an overview of some basic definitions and examples from the theory of probabilistic metric spaces. Chapters 3, 4, and 5 deal with some single-valued and multi-valued probabilistic versions of the Banach contraction principle. In Chapter 6, some basic results in locally convex topological vector spaces are used and applied to fixed point theory in vector spaces. Audience: The book will be of value to graduate students, researchers, and applied mathematicians working in nonlinear analysis and probabilistic metric spaces.

Descriptive set theory and definable proper forcing are two areas of set theory that developed quite independently of each other. This monograph unites them and explores the connections between them. Forcing is presented in terms of quotient algebras of various natural sigma-ideals on Polish spaces, and forcing properties in terms of Fubini-style properties or in terms of determined infinite games on Boolean algebras. Many examples of forcing notions appear, some newly isolated from measure theory, dynamical systems, and other fields. The descriptive set theoretic analysis of operations on forcings opens the door to applications of the theory: absoluteness theorems for certain classical forcing extensions, duality theorems, and preservation theorems for the countable support iteration. Containing original research, this text highlights the connections that forcing makes with other areas of mathematics, and is essential reading for academic researchers and graduate students in set theory, abstract analysis and measure theory.

Introduction to Fuzzy Reliability treats fuzzy methodology in hardware reliability and software reliability in a relatively systematic manner. The contents of this book are organized as follows. Chapter 1 places reliability engineering in the scope of a broader area, i.e. system failure engineering. Readers will find that although this book is confined to hardware and software reliability, it may be useful for other aspects of system failure engineering, like maintenance and quality control. Chapter 2 contains the elementary knowledge of fuzzy sets and possibility spaces which are required reading for the rest of this book. This chapter is included for the overall completeness of the book, but a few points (e.g. definition of conditional possibility and existence theorem of possibility space) may be new. Chapter 3 discusses how to calculate probist system reliability when the component reliabilities are represented by fuzzy numbers, and how to analyze fault trees when probabilities of basic events are fuzzy. Chapter 4 presents the basic theory of profust reliability, whereas Chapter 5 analyzes the profust reliability behavior of a number of engineering systems. Chapters 6 and 7 are devoted to probist reliability theory from two different perspectives. Chapter 8 discusses how to model software reliability behavior by using fuzzy methodology. Chapter 9 includes a number of mathematical problems which are raised by applications of fuzzy methodology in hardware and software reliability, but may be important for fuzzy set and possibility theories.

This issue contains a selected group Qf papers presented during the International Workshop on Categorical Topology held from August 31 - September 4, 1994 at the University of L' Aquila, L' Aquila, Italy. The workshop was organized by the Department of Pure and Applied Mathe- matics of the University of L' Aquila and was made possible by grants from the Department, the University, the Regione Abruzzo and the Cassa Di Risparmio della Provincia de l' Aquila. We wish to thank the officers of the University and public local administrations who facilitated the financial supports. We would also like to thank the INFN (Istituto Nazionale di Fisica Nucleare) for giving the opportunity to all participants to visit the impressive laboratories under Gran Sasso and the major of Roseto who organized a nice party in the garden of the Villa Comunale. The meeting was organized by E. Giuli, H. Herrlich and A. Tozzi and was attended by 45 mathematicians from 11 countries. The program consisted of 34 talks on various aspects of categorical topology. We would like to express our gratitude to the Dean of the Faculty of Science Umberto Villante for the friendly welcome he extended to the participants on behalf of the University of L' Aquila and to the Head of the Department Josef Myjak for his encouragement. Thanks are due to the many referees of the papers presented for publication in this issue for their indispensable assistance in selecting and improving the papers.

The geometric calculus, in general, consists in a system of operations on geometric entities, and their consequences, analogous to those that algebra has on the num bers. It permits the expression in formulas of the results of geometric constructions, the representation with equations of propositions of geometry, and the substitution of a transformation of equations for a verbal argument. The geometric calculus exhibits analogies with analytic geometry; but it differs from it in that, whereas in analytic geometry the calculations are made on the numbers that determine the geometric entities, in this new science the calculations are made on the geometric entities themselves. A first attempt at a geometric calculus was due to the great mind of Leibniz (1679);1 in the present century there were proposed and developed various methods of calculation having practical utility, among which deserving special mention are 2 the barycentric calculus of Mobius (1827), that of the equipollences of Bellavitis (1832),3 the quaternions of Hamilton (1853),4 and the applications to geometry 5 of the Ausdehnungslehre of Hermann Grassmann (1844). Of these various methods, the last cited to a great extent incorporates the others and is superior in its powers of calculation and in the simplicity of its formulas. But the excessively lofty and abstruse contents of the Ausdehnungslehre impeded the diffusion of that science; and thus even its applications to geometry are still very little appreciated by mathematicians."

This second volume of this text covers the classical aspects of the theory of groups and their representations. It also offers a general introduction to the modern theory of representations including the representations of quivers and finite partially ordered sets and their applications to finite dimensional algebras. It reviews key recent developments in the theory of special ring classes including Frobenius, quasi-Frobenius, and others.

"In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time.

In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the same lines, a parallel interest is growing regarding the process of evolution of living organisms. Much of the current data for genomes are expressed in the form of maps which are now becoming available and permit the study of the evolution of organisms at the scale of genome for the first time. On the other hand, there is an active trend nowadays throughout the field of computational biology toward abstracted, hierarchical views of biological sequences, which is very much in the spirit of computational linguistics. In the last decades, results and methods in the field of formal language theory that might be applied to the description of biological sequences were pointed out.

During the past 25 years, set theory has developed in several interesting directions. The most outstanding results cover the application of sophisticated techniques to problems in analysis, topology, infinitary combinatorics and other areas of mathematics. This book contains a selection of contributions, some of which are expository in nature, embracing various aspects of the latest developments. Amongst topics treated are forcing axioms and their applications, combinatorial principles used to construct models, and a variety of other set theoretical tools including inner models, partitions and trees. Audience: This book will be of interest to graduate students and researchers in foundational problems of mathematics.

Since scientific software is the fuel that drives today's computers to solve a vast range of problems, huge efforts are being put into the development of new software, systems and algorithms for scientific problem solving. This book explores how scientific software impacts the structure of mathematics, how it creates new subfields, and how new classes of mathematical problems arise. The focus is on five topics where the impact is currently being felt and where important new challenges exist, namely: the new subfield of parallel and geometric computations, the emergence of symbolic computation systems into "general" use, the potential emergence of new, high-level mathematical systems, and the crucial question of how to measure the performance of mathematical problem solving tools.

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

In the fall of 1985 Carnegie Mellon University established a Department of Philosophy. The focus of the department is logic broadly conceived, philos- ophy of science, in particular of the social sciences, and linguistics. To mark the inauguration of the department, a daylong celebration was held on April 5, 1986. This celebration consisted of two keynote addresses by Patrick Sup- pes and Thomas Schwartz, seminars directed by members of the department, and a panel discussion on the computational model of mind moderated by Dana S. Scott. The various contributions, in modified and expanded form, are the core of this collection of essays, and they are, I believe, of more than parochial interest: they turn attention to substantive and reflective interdis- ciplinary work. The collection is divided into three parts. The first part gives perspec- tives (i) on general features of the interdisciplinary enterprise in philosophy (by Patrick Suppes, Thomas Schwartz, Herbert A. Simon, and Clark Gly- mour) , and (ii) on a particular topic that invites such interaction, namely computational models of the mind (with contributions by Gilbert Harman, John Haugeland, Jay McClelland, and Allen Newell). The second part con- tains (mostly informal) reports on concrete research done within that enter- prise; the research topics range from decision theory and the philosophy of economics through foundational problems in mathematics to issues in aes- thetics and computational linguistics. The third part is a postscriptum by Isaac Levi, analyzing directions of (computational) work from his perspective.

The theory of formal languages is widely accepted as the backbone of t- oretical computer science. It mainly originated from mathematics (com- natorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas ofeither computer science(concurrent and distributed systems, computer graphics, arti?cial life), biology (plant devel- ment, molecular genetics), linguistics (parsing, text searching), or mathem- ics (cryptography). All human problem solving capabilities can be considered, in a certain sense, as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language - in its two basic forms, natural and arti?cial - is a particular case of a symbol system. This wide range of motivations and inspirations explains the diverse - plicability of formal language theory ? and all these together explain the very large number of monographs and collective volumes dealing with formal language theory. In 2004 Springer-Verlag published the volume Formal Languages and - plications, edited by C. Martin-Vide, V. Mitrana and G. P?un in the series Studies in Fuzziness and Soft Computing 148, which was aimed at serving as an overall course-aid and self-study material especially for PhD students in formal language theory and applications. Actually, the volume emerged in such a context: it contains the core information from many of the lectures - livered to the students of the International PhD School in Formal Languages and Applications organized since 2002 by the Research Group on Mathem- ical Linguistics from Rovira i Virgili University, Tarragona, Spain."