Mathematical logic

The book is intended as an invitation to the topic of relations on a rather general basis.

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia.

This self-contained book is an exposition of the fundamental ideas of model theory.

Carlos Vasco hace una aproximación magnífica, en su particular estilo agudo y a la vez sencillo, a un tema realmente complejo, subvalorado y, sin embargo, fundamental para el desarrollo del pensamiento de la juventud de nuestra nación: la educación matemática en la formación básica, media y universitaria.

El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica.

El propósito de este texto es mostrar cómo algunos conceptos matemáticos, como fracción, porcentaje, medias aritméticas y variación porcentual, se aplican en situaciones de la vida cotidiana.

El propósito de este texto es mostrar cómo algunos conceptos matemáticos, como fracción, porcentaje, medias aritméticas y variación porcentual, se aplican en situaciones de la vida cotidiana.

Temas como la lógica, sistemas numéricos, funciones y variación son tratados en este texto de una manera dinámica y creativa con el propósito de permitir a los estudiantes potenciar su pensamiento cuantitativo y la aplicación de éste a la vida real.

Estrategias cualitativas de investigación en educación matemática.

The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland, 1992 and 2002).

Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic.

Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other.

Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis.

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it.

Nowadays algebra is understood basically as the general theory of algebraic oper- ations and relations.

Constructibility and complexity play central roles in recent research in computer science, mathematics and physics.

Substructural logics are by now one of the most prominent branches of the research field usually labelled as "e;nonclassical logics"e; - and perhaps of logic tout court.

Simplicity theory is an extension of stability theory to a wider class of structures, containing, among others, the random graph, pseudo-finite fields, and fields with a generic automorphism.

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions.

Quantum Structures and the Nature of Reality is a collection of papers written for an interdisciplinary audience about the quantum structure research within the International Quantum Structures Association.

The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation.

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc.

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997.

Many years of practical experience in teaching discrete mathematics form the basis of this text book.

"e;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.

D.

The thirty-one papers collected in this volume represent most of the arti- cles that I have published in the philosophy of science and related founda- tional areas of science since 1970.

In contributing a foreword to this book I am complying with a wish my husband expressed a few days before his death.

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science.

One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics.

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation.

The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.

During the last few decades the ideas, methods, and results of the theory of Boolean algebras have played an increasing role in various branches of mathematics and cybernetics.

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications.

Metric fixed point theory encompasses the branch of fixed point theory which metric conditions on the underlying space and/or on the mappings play a fundamental role.

This volume, the 6th volume in the DRUMS Handbook series, is part of the after- math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un- certainty Management Systems) which took place in two stages from 1989-1996.

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which took place in two stages from 1989- 1996.

We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems.

Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism.

We are happy to present the first volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems.

This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches.

Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning.

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.

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.

Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering focuses on fuzzy clustering methods which have proven to be very powerful in pattern recognition and considers the entire process of dynamic pattern recognition.